| Fri, 26 Aug 2005 19:47:23 +0200 | berghofe | Fixed bug. | file | diff | annotate |
| Wed, 17 Aug 2005 11:15:23 +0200 | wenzelm | made SML/XL happy; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:38 +0200 | wenzelm | reimplemented theory presentation, with support for tagged command regions; | file | diff | annotate |
| Mon, 08 Aug 2005 09:28:25 +0200 | haftmann | clarified ML_idf | file | diff | annotate |
| Tue, 19 Jul 2005 20:47:01 +0200 | wenzelm | Inttab.defined; | file | diff | annotate |
| Thu, 09 Jun 2005 12:03:32 +0200 | wenzelm | Args.local_typ_abbrev; | file | diff | annotate |
| Thu, 02 Jun 2005 18:29:54 +0200 | wenzelm | Output.no_warnings; | file | diff | annotate |
| Wed, 01 Jun 2005 10:30:07 +0200 | haftmann | concl antiqutations | file | diff | annotate |
| Tue, 31 May 2005 11:53:33 +0200 | wenzelm | added short_names, unique_names options; | file | diff | annotate |
| Tue, 24 May 2005 14:28:59 +0200 | haftmann | ML_idf antiquotation | file | diff | annotate |
| Wed, 18 May 2005 11:30:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 17 May 2005 18:10:41 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | file | diff | annotate |
| Sat, 14 May 2005 21:31:13 +0200 | haftmann | added Proof.context to antiquotation | file | diff | annotate |
| Tue, 03 May 2005 10:33:31 +0200 | haftmann | final implementation of antiquotations styles | file | diff | annotate |
| Fri, 29 Apr 2005 08:03:01 +0200 | haftmann | added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done) | file | diff | annotate |
| Thu, 07 Apr 2005 09:26:48 +0200 | wenzelm | Scan.peek; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Fri, 11 Feb 2005 17:11:24 +0100 | berghofe | Optimized present_tokens to produce fewer newlines when hiding proofs. | file | diff | annotate |
| Thu, 27 Jan 2005 12:34:52 +0100 | berghofe | - Proofs are now hidden by default | file | diff | annotate |
| Tue, 11 Jan 2005 14:47:47 +0100 | berghofe | Tuned. | file | diff | annotate |
| Tue, 11 Jan 2005 14:08:07 +0100 | berghofe | Implemented hiding of proofs and other commands. | file | diff | annotate |
| Wed, 01 Dec 2004 06:30:20 +0100 | kleing | added antiquotations @{lhs thm} and @{rhs thm} | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 09 Jun 2004 18:52:55 +0200 | wenzelm | added option 'locale=NAME'; | file | diff | annotate |
| Sat, 29 May 2004 15:06:42 +0200 | wenzelm | Library.read_int; Output.output; | file | diff | annotate |
| Fri, 21 May 2004 21:19:18 +0200 | wenzelm | Args.local_typ_raw; | file | diff | annotate |
| Thu, 06 May 2004 14:17:07 +0200 | wenzelm | show_structs option; | file | diff | annotate |
| Sat, 01 May 2004 22:09:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Jan 2004 08:14:00 +0100 | kleing | separate thm lists in latex output by \isasep | file | diff | annotate |