Commits

Anonymous committed c327188

added some lines to readme

Comments (0)

Files changed (1)

+======
+ What
+======
+
+The *Ratiocinator* for ConTeXt MkIV provides a couple of tool for typesetting,
+evaluating and visualizing propositional logic using a minimalist ascii input
+notation.
+
 ========
  Status
 ========
 No module structure, interface XML etc. yet. This will all be added in good
 time.
 
+============
+ Precaution
+============
+
+For the syntax trees to work you will need to have either luagraph_ or graphviz_
+installed on your system.
+
 ===========================
  Provisional documentation
 ===========================
  License
 =========
 
-The *Ratiocinator* is licensed under the term of the BSD license with two
+The *Ratiocinator* is licensed under the terms of the BSD license with two
 clauses. See the file ``COPYING`` for details.
 
 .. _examples:       https://bitbucket.org/phg/context-ratiocinator/downloads/examples-rev37.pdf
 .. _documentation:  https://bitbucket.org/phg/context-ratiocinator/downloads/t-ratiocinator-rev37.pdf
 .. _repository:     https://bitbucket.org/phg/context-ratiocinator/
-
+.. _luagraph:       http://luagraph.luaforge.net/
+.. _graphviz:       http://www.graphviz.org/