From 47207894bda7f106ef685fe19738ae3d27f27041 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 21:27:40 +0200
Subject: html+php wrapper

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 4d8d199..2e29d14 100644
--- a/README.md
+++ b/README.md
@@ -108,7 +108,7 @@ The `truthtable` of `e15`:
 
 The `parse` function may be used to read an expression from a String. The following rules are used:
 
- * Whitespace is ignored. 
+ * Spaces are ignored. 
  * All latin letters (`[a-zA-Z]`) are considered atomic expressions
  * Operators are expected in their representation described above
  * True and False are expected as `1` and `0`, respectively
@@ -140,6 +140,10 @@ The option `-e` tells the parser to show the extended truth table. With this opt
      True  | False | True                         | False 
      True  | True  | True                         | True 
 
+## Web frontend
+
+There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic.
+
 ## Future ideas
 
  * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬), LaTeX (`\neg`)
-- 
cgit v1.2.3