Sun, 10 Oct 2010 20:49:25 +0100 |
wenzelm |
removed some obsolete reference material;
|
file |
diff |
annotate
|
Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
Sat, 13 May 2006 02:51:35 +0200 |
wenzelm |
moved defs explanation to isar-ref;
|
file |
diff |
annotate
|
Fri, 28 Sep 2001 16:45:03 +0200 |
berghofe |
Added label for section on terms.
|
file |
diff |
annotate
|
Sun, 04 Feb 2001 19:41:30 +0100 |
wenzelm |
added no_document;
|
file |
diff |
annotate
|
Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
Thu, 02 Sep 1999 15:24:00 +0200 |
wenzelm |
added with_path;
|
file |
diff |
annotate
|
Tue, 03 Aug 1999 18:57:11 +0200 |
wenzelm |
fixed {};
|
file |
diff |
annotate
|
Fri, 30 Jul 1999 15:56:33 +0200 |
wenzelm |
added update_thy_only;
|
file |
diff |
annotate
|
Mon, 12 Jul 1999 21:51:47 +0200 |
wenzelm |
removed merge_theories;
|
file |
diff |
annotate
|
Tue, 18 May 1999 12:35:10 +0200 |
paulson |
locale documentation (from Florian)
|
file |
diff |
annotate
|
Mon, 17 May 1999 19:15:35 +0200 |
wenzelm |
remove_thy;
|
file |
diff |
annotate
|
Mon, 10 May 1999 16:48:00 +0200 |
wenzelm |
axclass;
|
file |
diff |
annotate
|
Wed, 05 May 1999 16:44:42 +0200 |
paulson |
Now uses manual.bib; some references updated
|
file |
diff |
annotate
|
Tue, 04 May 1999 11:27:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 03 May 1999 19:03:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 03 May 1999 18:35:48 +0200 |
wenzelm |
theory loader stuff updated and improved;
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 16:40:37 +0200 |
wenzelm |
moeved get_thm etc. to goals.tex;
|
file |
diff |
annotate
|
Mon, 24 Aug 1998 18:58:12 +0200 |
wenzelm |
added nonterminals, setup;
|
file |
diff |
annotate
|
Thu, 05 Feb 1998 10:26:59 +0100 |
paulson |
Fixed a lot of overfull and underfull lines (hboxes)
|
file |
diff |
annotate
|
Fri, 09 Jan 1998 13:49:20 +0100 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
Mon, 08 Dec 1997 20:29:49 +0100 |
wenzelm |
\subsection{*Theory inclusion};
|
file |
diff |
annotate
|
Fri, 05 Dec 1997 18:44:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 27 Nov 1997 19:39:02 +0100 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
Wed, 02 Jul 1997 16:46:36 +0200 |
paulson |
Now there are TWO spaces after each full stop, so that the Emacs sentence
|
file |
diff |
annotate
|
Thu, 15 May 1997 14:59:25 +0200 |
wenzelm |
removed garbage;
|
file |
diff |
annotate
|
Tue, 06 May 1997 12:50:16 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
Mon, 12 Aug 1996 16:26:02 +0200 |
paulson |
Added a new section on Definitions
|
file |
diff |
annotate
|
Tue, 23 Jul 1996 13:19:27 +0200 |
paulson |
Corrected typo regarding the type of set_oracle
|
file |
diff |
annotate
|