| Tue, 31 May 2011 22:47:18 +0200 |
wenzelm |
added Synopsis, with some "Notepad" material;
|
file |
diff |
annotate
|
| Tue, 31 May 2011 22:18:37 +0200 |
wenzelm |
more accurate deps;
|
file |
diff |
annotate
|
| Tue, 31 May 2011 22:15:39 +0200 |
wenzelm |
turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex);
|
file |
diff |
annotate
|
| Mon, 02 May 2011 22:00:38 +0200 |
wenzelm |
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:07:46 +0200 |
wenzelm |
eliminated separate rail/latex phase;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 16:36:34 +0200 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| 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
|