diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -10,6 +10,7 @@ Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include: * Displaying truth tables * Parsing strings to expressions * A web frontend to access the Clean program through, so only server-side installation is necessary + * Different output options (Plain / ASCII art, HTML, LaTeX) Read further for examples. @@ -148,6 +149,8 @@ The option `-e` tells the parser to show the extended truth table. With this opt True | False | True | False True | True | True | True +The parsers also recognises `-html` and `-latex` and will output an HTML or LaTeX table if these arguments are present. + ## 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. For this to work, the `exec()` function should be enabled in your PHP configuration. |