| Sun, 21 Oct 2001 19:42:53 +0200 | wenzelm | \newif\ifisamarkup controls spacing of isabeginpar; | file | diff | annotate |
| Wed, 26 Sep 2001 22:25:23 +0200 | wenzelm | bold symbols; | file | diff | annotate |
| Sun, 21 Jan 2001 13:21:14 +0100 | wenzelm | \isaindent; | file | diff | annotate |
| 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 |
| Sat, 30 Sep 2000 12:27:57 +0200 | wenzelm | isapar: \medskip; | file | diff | annotate |
| Thu, 21 Sep 2000 18:33:48 +0200 | wenzelm | improved \isachartilde for non-tt styles; | file | diff | annotate |
| Mon, 18 Sep 2000 23:43:11 +0200 | wenzelm | added plain "tt" style; | file | diff | annotate |
| Fri, 15 Sep 2000 16:30:16 +0200 | wenzelm | fixed "sl" style; | file | diff | annotate |
| Mon, 11 Sep 2000 17:34:42 +0200 | wenzelm | added \isabellecontext; | file | diff | annotate |
| Sun, 03 Sep 2000 20:01:27 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 29 Aug 2000 20:10:39 +0200 | wenzelm | underscore: added \mbox to avoid hyphenation; | file | diff | annotate |
| Tue, 29 Aug 2000 00:53:21 +0200 | wenzelm | \isakeywordcharunderscore; | file | diff | annotate |
| Mon, 28 Aug 2000 20:29:19 +0200 | wenzelm | \newenvironment{isabellebody}: version without trivlist; | file | diff | annotate |
| Fri, 25 Aug 2000 12:17:09 +0200 | paulson | added \trivlist...\endtrivlist to the "isabelle" environment | file | diff | annotate |
| Thu, 24 Aug 2000 00:54:54 +0200 | wenzelm | disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach); | file | diff | annotate |
| Wed, 23 Aug 2000 15:24:46 +0200 | wenzelm | isabelle env: trivlist; | file | diff | annotate |
| Mon, 21 Aug 2000 18:40:30 +0200 | wenzelm | added \isastyleminor; | file | diff | annotate |
| Sat, 19 Aug 2000 12:43:55 +0200 | wenzelm | added \isachar definitions; | file | diff | annotate |
| Mon, 08 May 2000 10:51:07 +0200 | wenzelm | removed \isabelledefaultstyle (use \isabellestyle instead); | file | diff | annotate |
| Fri, 14 Apr 2000 16:12:46 +0200 | wenzelm | \newenvironment{isabellequote}; | file | diff | annotate |
| Fri, 14 Apr 2000 15:55:40 +0200 | wenzelm | global \isa@parindent, \isa@parskip; | file | diff | annotate |
| Mon, 03 Apr 2000 14:02:40 +0200 | wenzelm | isapar, isamarkuptext, isamarkuptxt turned into environments; | file | diff | annotate |
| Fri, 17 Mar 2000 22:53:19 +0100 | wenzelm | parskip 0pt; | file | diff | annotate |
| Fri, 17 Mar 2000 17:10:37 +0100 | wenzelm | \isamarkupheader: \section; | file | diff | annotate |
| Thu, 16 Mar 2000 00:33:46 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 15 Mar 2000 18:50:14 +0100 | wenzelm | renamed isabelle env; | file | diff | annotate |
| Thu, 10 Feb 2000 20:54:40 +0100 | wenzelm | \isabellesimplestyle; | file | diff | annotate |
| Fri, 22 Oct 1999 20:23:40 +0200 | wenzelm | achieve proper italic correction; | file | diff | annotate |
| Thu, 21 Oct 1999 18:47:33 +0200 | wenzelm | \isakeyword: fixed italic correction; | file | diff | annotate |
| Fri, 08 Oct 1999 17:07:10 +0200 | wenzelm | \isakeyword: italic correction; | file | diff | annotate |
| Fri, 08 Oct 1999 15:04:32 +0200 | wenzelm | improved special chars; | file | diff | annotate |
| Thu, 07 Oct 1999 17:20:19 +0200 | wenzelm | removed verbatim markups; | file | diff | annotate |
| Thu, 07 Oct 1999 12:25:50 +0200 | wenzelm | verbatim: no markup; | file | diff | annotate |
| Wed, 06 Oct 1999 18:14:26 +0200 | wenzelm | tuned markup commands; | file | diff | annotate |
| Wed, 06 Oct 1999 00:35:05 +0200 | wenzelm | accomodate markup commands; | file | diff | annotate |
| Tue, 05 Oct 1999 14:11:34 +0200 | wenzelm | macros for Isabelle generated LaTeX output; | file | diff | annotate |