High-level decrciption of how tiddlyisar works
----------------------------------------------

tiddlyisar is a Mathematical Knowlwdge Management tool for converting
IsarMathLib sources to tiddlywiki markup. The inputs to the program 
are as follows:

1. A file called ROOT.ML with the list of theories to process.

2. The Isabelle theory files listed in ROOT.ML

3. A file called `tiddlyformalmath_empty.html`. This file is a skeleton
of the Tiddly Formal Math site that is the output of the tool.
It contains tiddlers titled like the theories listed in ROOT.ML
whose contents are strings of the form "<theory name> placeholder".
It has a jsMath and NestetSliders plugins installed.


The tool replaces the placeholder strings in the 
`tiddlyformalmath_empty.html` file with the tiddlywiki markup 
text produced from parsed IsarMathLib theories. 
Miracously, it works - the result is a tiddlyformalmath.html
file which I can upload to the tiddlyspot.com hosting site,
see http://formalmath.tiddlyspot.com/ .

The tool is written in Haskell and can compiled with GHC.
I use it from GHCi.

Slawomir Kolodynski
