Wed, 04 Jun 2008 17:12:00 +0200 wenzelm tikz: change to pgfsys-dvi.def for plain dvi output;
Wed, 04 Jun 2008 16:44:31 +0200 wenzelm replaced (*<*)(*>*) by invisibility tags;
Wed, 04 Jun 2008 16:44:08 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 16:32:24 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 16:32:14 +0200 wenzelm work within *this* directory;
Wed, 04 Jun 2008 16:31:46 +0200 wenzelm moved labels into actual sections;
Wed, 04 Jun 2008 16:31:16 +0200 wenzelm removed TEXPATH, just chdir to Locales/document;
Wed, 04 Jun 2008 16:18:22 +0200 wenzelm renamed expression: plain ~ (space) instead of \colon;
Wed, 04 Jun 2008 12:29:33 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 12:29:26 +0200 wenzelm replaced strange \: by \colon to make it work again on macbroy20-29;
Tue, 03 Jun 2008 23:47:13 +0200 wenzelm updated generated file;
Tue, 03 Jun 2008 23:46:53 +0200 wenzelm clarification of "subst" by Lucas Dixon;
Tue, 03 Jun 2008 17:03:50 +0200 wenzelm use polyml-5.2;
Tue, 03 Jun 2008 16:45:59 +0200 wenzelm updated to official 5.2;
Tue, 03 Jun 2008 14:32:37 +0200 wenzelm use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);
Tue, 03 Jun 2008 14:04:51 +0200 wenzelm some reorganization and fine-tuning;
Tue, 03 Jun 2008 14:04:26 +0200 wenzelm some fine-tuning;
Tue, 03 Jun 2008 13:17:11 +0200 wenzelm CodeTarget.target_code_width;
Tue, 03 Jun 2008 12:38:39 +0200 ballarin Tuned proof.
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
Tue, 03 Jun 2008 11:55:35 +0200 wenzelm proper path to isabelle.jar;
Tue, 03 Jun 2008 00:20:22 +0200 wenzelm reorganized isar-ref;
Tue, 03 Jun 2008 00:16:37 +0200 wenzelm added Wenzel:2006:Festschrift;
Tue, 03 Jun 2008 00:16:18 +0200 wenzelm class_deps: improper;
Tue, 03 Jun 2008 00:16:07 +0200 wenzelm \cite{Wenzel:2006:Festschrift};
Tue, 03 Jun 2008 00:15:46 +0200 wenzelm updated generated file;
Tue, 03 Jun 2008 00:05:06 +0200 wenzelm moved stuff from pure.thy to Misc.thy;
Tue, 03 Jun 2008 00:04:35 +0200 wenzelm obsolete;
Tue, 03 Jun 2008 00:03:54 +0200 wenzelm updated generated file;
Tue, 03 Jun 2008 00:03:52 +0200 wenzelm tuned;
Mon, 02 Jun 2008 23:38:28 +0200 wenzelm updated generated file;
Mon, 02 Jun 2008 23:38:27 +0200 wenzelm moved header command to Document_Preparation;
Mon, 02 Jun 2008 23:38:25 +0200 wenzelm tuned structure;
Mon, 02 Jun 2008 23:38:24 +0200 wenzelm moved header command here;
Mon, 02 Jun 2008 23:38:22 +0200 wenzelm removed onsolete pure.thy (cf. Misc.thy);
Mon, 02 Jun 2008 23:12:23 +0200 wenzelm updated generated file;
Mon, 02 Jun 2008 23:12:09 +0200 wenzelm updated ML types for advanced translations;
Mon, 02 Jun 2008 23:11:51 +0200 wenzelm moved (ax_)specification to end;
Mon, 02 Jun 2008 23:11:24 +0200 wenzelm moved subst/hypsubst to "Basic proof tools";
Mon, 02 Jun 2008 22:50:54 +0200 wenzelm added Document_Preparation;
Mon, 02 Jun 2008 22:50:29 +0200 wenzelm updated generated file;
Mon, 02 Jun 2008 22:50:27 +0200 wenzelm tuned spacing;
Mon, 02 Jun 2008 22:50:23 +0200 wenzelm major reorganization of document structure;
Mon, 02 Jun 2008 22:50:21 +0200 wenzelm removed obsolete basics.tex;
Mon, 02 Jun 2008 22:50:19 +0200 wenzelm more contributors;
Mon, 02 Jun 2008 21:19:46 +0200 wenzelm renamed theory "syntax" to "Outer_Syntax";
Mon, 02 Jun 2008 21:13:48 +0200 wenzelm isatool tty;
Mon, 02 Jun 2008 21:01:42 +0200 wenzelm renamed theory "intro" to "Introduction";
Mon, 02 Jun 2008 13:21:06 +0200 nipkow tuned proofs
Sun, 01 Jun 2008 17:45:43 +0200 dixon fixed bug: maxidx was wrongly calculuated from term, now calculated
Sun, 01 Jun 2008 17:39:21 +0200 urbanc new example
Sat, 31 May 2008 00:34:04 +0200 wenzelm updated to E 0.999-006;
Fri, 30 May 2008 23:33:41 +0200 wenzelm THIS_IS_ISABELLE_MAKEBIN is back;
Fri, 30 May 2008 23:26:51 +0200 wenzelm cvs2cl only for unofficial releases;
Fri, 30 May 2008 23:10:53 +0200 wenzelm more AFP sessions;
Fri, 30 May 2008 17:52:10 +0200 nipkow *** empty log message ***
Fri, 30 May 2008 17:03:37 +0200 krauss Updated function tutorial.
Fri, 30 May 2008 09:17:44 +0200 haftmann (adjusted)
Fri, 30 May 2008 08:02:19 +0200 haftmann various code streamlining
Fri, 30 May 2008 01:46:52 +0200 wenzelm more AFP sessions;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip