| Sat, 28 Feb 2009 16:39:46 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 18 Nov 2008 18:25:10 +0100 | wenzelm | moved table of standard Isabelle symbols to isar-ref manual; | file | diff | annotate |
| Thu, 13 Nov 2008 21:48:19 +0100 | wenzelm | separate chapter "Inner syntax --- the term language"; | file | diff | annotate |
| Mon, 02 Jun 2008 23:38:22 +0200 | wenzelm | removed onsolete pure.thy (cf. Misc.thy); | file | diff | annotate |
| Mon, 02 Jun 2008 22:50:54 +0200 | wenzelm | added Document_Preparation; | file | diff | annotate |
| Mon, 02 Jun 2008 22:50:21 +0200 | wenzelm | removed obsolete basics.tex; | file | diff | annotate |
| Mon, 02 Jun 2008 21:19:46 +0200 | wenzelm | renamed theory "syntax" to "Outer_Syntax"; | file | diff | annotate |
| Mon, 02 Jun 2008 21:01:42 +0200 | wenzelm | renamed theory "intro" to "Introduction"; | file | diff | annotate |
| Thu, 15 May 2008 18:12:24 +0200 | wenzelm | use ../isabelle.sty, ../isabellesym.sty; | file | diff | annotate |
| Thu, 15 May 2008 17:37:18 +0200 | wenzelm | depend on ../pdfsetup.sty; | file | diff | annotate |
| Fri, 09 May 2008 23:35:57 +0200 | wenzelm | added chapters for "Specifications" and "Proofs"; | file | diff | annotate |
| Thu, 08 May 2008 22:48:09 +0200 | wenzelm | depend on style.sty; | file | diff | annotate |
| Thu, 08 May 2008 12:29:18 +0200 | wenzelm | converted HOL specific elements; | file | diff | annotate |
| Wed, 07 May 2008 15:32:31 +0200 | wenzelm | removed obsolete conversion guide -- converted only section on tactics; | file | diff | annotate |
| Mon, 05 May 2008 15:23:21 +0200 | wenzelm | converted generic.tex to Thy/Generic.thy; | file | diff | annotate |
| Sat, 03 May 2008 13:26:08 +0200 | wenzelm | converted refcard.tex to Thy/Quick_Reference.thy; | file | diff | annotate |
| Fri, 02 May 2008 16:36:05 +0200 | wenzelm | converted pure.tex to Thy/pure.thy; | file | diff | annotate |
| Mon, 28 Apr 2008 14:22:42 +0200 | wenzelm | converted syntax.tex to Thy/syntax.thy; | file | diff | annotate |
| Wed, 23 Apr 2008 12:13:08 +0200 | wenzelm | converted intro.tex to Thy/intro.thy; | file | diff | annotate |
| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:52:54 +0100 | wenzelm | added zf.tex; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Thu, 21 Oct 1999 17:42:21 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 30 Jul 1999 15:40:54 +0200 | wenzelm | more; | file | diff | annotate |
| Fri, 30 Jul 1999 14:59:32 +0200 | wenzelm | more stuff; | file | diff | annotate |
| Tue, 20 Jul 1999 18:50:46 +0200 | wenzelm | checkpoint; | file | diff | annotate |
| Mon, 19 Jul 1999 17:08:05 +0200 | wenzelm | skeleton only; | file | diff | annotate |