Slava Pestov 13ef8f9412 cell fix; experimental preferred size cache; floor/ceiling/truncate/mod for floats; fix mod for ratios; fix float equality test		2006-01-27 04:01:14 +00:00
..
handbook	cell fix; experimental preferred size cache; floor/ceiling/truncate/mod for floats; fix mod for ratios; fix float equality test	2006-01-27 04:01:14 +00:00
UI_HOWTO.txt	rename	2005-12-04 01:52:56 +00:00
assoc.eps	adding figures	2005-04-29 02:42:32 +00:00
assoc.fig	sequences chapter of handbook is complete	2005-04-28 04:46:23 +00:00
catchstack.eps	adding figures	2005-04-29 02:42:32 +00:00
catchstack.fig	adding figures	2005-04-29 02:42:32 +00:00
comparison.tex	fixing comparison errors	2005-11-19 04:05:39 +00:00
cons.eps	adding figures	2005-04-29 02:42:32 +00:00
cons.fig	sequences chapter of handbook is complete	2005-04-28 04:46:23 +00:00
cont-responder-tutorial.txt	fix cont-responder tutorial method of starting server.	2006-01-24 10:56:44 +00:00
glossary.sty	fix bad bootstrap bug; generic append, reverse, concat (replacing cat and append*); working on documentation	2005-04-25 23:54:21 +00:00
handbook.tex	documentation updates	2005-11-01 01:39:38 +00:00
internals.txt	(yield) renamed to stop	2005-04-22 04:22:36 +00:00
interpreter.dia	handbook updates for 0.77	2005-08-10 23:37:59 +00:00
interpreter.eps	handbook updates for 0.77	2005-08-10 23:37:59 +00:00
makedoc	many contrib/ fixes by Trent Buck	2006-01-18 19:06:34 +00:00
makeglos	add missing file	2005-09-04 02:50:44 +00:00
mathpartir.sty	various cleanups, updated plugin docs, plugin fixes	2005-03-19 02:41:13 +00:00
namestack.eps	adding figures	2005-04-29 02:42:32 +00:00
namestack.fig	adding figures	2005-04-29 02:42:32 +00:00
number.eps	adding figures	2005-04-29 02:42:32 +00:00
number.fig	sequences chapter of handbook is complete	2005-04-28 04:46:23 +00:00
parser.dia	sequences chapter of handbook is complete	2005-04-28 04:46:23 +00:00
parser.eps	adding figures	2005-04-29 02:42:32 +00:00
theory.tex	fixing typo where f was used for \bot	2005-08-30 19:36:19 +00:00