| Sun, 07 Jan 2001 21:45:14 +0100 | wenzelm | removed ID (avoid CVS conflicts with generated versions); | file | diff | annotate |
| Mon, 04 Dec 2000 23:21:35 +0100 | wenzelm | added \isabeginpar, \isaendpar; | file | diff | annotate |
| Wed, 15 Nov 2000 00:39:44 +0100 | wenzelm | isabellebody: \par at begin/end; | file | diff | annotate |
| Wed, 08 Nov 2000 23:04:54 +0100 | wenzelm | tuned isabelle environment; | file | diff | annotate |
| Wed, 18 Oct 2000 23:39:49 +0200 | wenzelm | avoid "_" and "^" (more robust); | file | diff | annotate |
| Sun, 15 Oct 2000 19:50:35 +0200 | wenzelm | proper symbol markup with \isamath, \isatext; | file | diff | annotate |
| Wed, 11 Oct 2000 12:52:56 +0200 | wenzelm | fixed \isastyleminor for "tt": \small; | file | diff | annotate |