| 2011-05-31 |
wenzelm |
added Synopsis, with some "Notepad" material;
|
file |
diff |
annotate
|
| 2011-05-31 |
wenzelm |
more accurate deps;
|
file |
diff |
annotate
|
| 2011-05-31 |
wenzelm |
turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex);
|
file |
diff |
annotate
|
| 2011-05-02 |
wenzelm |
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
|
file |
diff |
annotate
|
| 2011-05-02 |
wenzelm |
eliminated separate rail/latex phase;
|
file |
diff |
annotate
|
| 2011-05-01 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| 2009-02-28 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| 2008-11-18 |
wenzelm |
moved table of standard Isabelle symbols to isar-ref manual;
|
file |
diff |
annotate
|
| 2008-11-13 |
wenzelm |
separate chapter "Inner syntax --- the term language";
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
removed onsolete pure.thy (cf. Misc.thy);
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
added Document_Preparation;
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
removed obsolete basics.tex;
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
renamed theory "syntax" to "Outer_Syntax";
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
renamed theory "intro" to "Introduction";
|
file |
diff |
annotate
|
| 2008-05-15 |
wenzelm |
use ../isabelle.sty, ../isabellesym.sty;
|
file |
diff |
annotate
|
| 2008-05-15 |
wenzelm |
depend on ../pdfsetup.sty;
|
file |
diff |
annotate
|
| 2008-05-09 |
wenzelm |
added chapters for "Specifications" and "Proofs";
|
file |
diff |
annotate
|
| 2008-05-08 |
wenzelm |
depend on style.sty;
|
file |
diff |
annotate
|
| 2008-05-08 |
wenzelm |
converted HOL specific elements;
|
file |
diff |
annotate
|
| 2008-05-07 |
wenzelm |
removed obsolete conversion guide -- converted only section on tactics;
|
file |
diff |
annotate
|
| 2008-05-05 |
wenzelm |
converted generic.tex to Thy/Generic.thy;
|
file |
diff |
annotate
|
| 2008-05-03 |
wenzelm |
converted refcard.tex to Thy/Quick_Reference.thy;
|
file |
diff |
annotate
|
| 2008-05-02 |
wenzelm |
converted pure.tex to Thy/pure.thy;
|
file |
diff |
annotate
|
| 2008-04-28 |
wenzelm |
converted syntax.tex to Thy/syntax.thy;
|
file |
diff |
annotate
|
| 2008-04-23 |
wenzelm |
converted intro.tex to Thy/intro.thy;
|
file |
diff |
annotate
|
| 2002-01-03 |
wenzelm |
next round of updates;
|
file |
diff |
annotate
|
| 2002-01-02 |
wenzelm |
added zf.tex;
|
file |
diff |
annotate
|
| 2000-08-28 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| 2000-08-14 |
wenzelm |
added conversion.tex;
|
file |
diff |
annotate
|
| 2000-05-08 |
wenzelm |
improved indexing;
|
file |
diff |
annotate
|
| 1999-10-21 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 1999-07-30 |
wenzelm |
more;
|
file |
diff |
annotate
|
| 1999-07-30 |
wenzelm |
more stuff;
|
file |
diff |
annotate
|
| 1999-07-20 |
wenzelm |
checkpoint;
|
file |
diff |
annotate
|
| 1999-07-19 |
wenzelm |
skeleton only;
|
file |
diff |
annotate
|