diff options
| author | Camil Staps | 2015-07-03 23:39:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 23:41:02 +0200 |
| commit | f0ed4df2b0e11ab66966a8395cd7d6d29c7a8efc (patch) | |
| tree | ecdfbd232e1710f67c233c3e4281560f0344a10c /README.md | |
| parent | Installation (diff) | |
Latex & Html output 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. |