From f0ed4df2b0e11ab66966a8395cd7d6d29c7a8efc Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 3 Jul 2015 23:39:40 +0200 Subject: Latex & Html output options --- README.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index d52cb15..185406c 100644 --- a/README.md +++ b/README.md @@ -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. -- cgit v1.2.3