All of the software I developed this summer is copyright 2002 by Shimon
Rura and Barbara Lerner. It is distributed as Free software under the
GNU General Public License, version 2,
or any later version at your option.
This software is written in Java and thus ought to run on any Java
1.4 platform. However, it has only been tested using Sun's JDK 1.4.0 on
GNU/Linux. The included installers are designed for Unix
systems with GNU make.
Little-JIL Semantic Checker
The checker system. This program requires but does not include xlinkit 5.0. (The full version is
required; the demo does not support loading enough rules.) Also
requires Java 1.4 and the usual set of Little-JIL .jar files (not
available publicly). See installation
instructions.
download (~900k)
Xlinkit-rule to LaTeX pretty-printer
A program to convert xlinkit rules (in an XML document) to LaTeX, with a
Makefile to automatically make dvi, ps, and pdf files. Requires Java
1.4. See included README for instructions.
download (~15k)
shimon@rura.org
