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
|
Thu, 11 Jul 1996 15:00:38 +0200 |
paulson |
Documentation of oracles and their syntax
|
file |
diff |
annotate
|
Thu, 04 Apr 1996 18:01:47 +0200 |
nipkow |
Added 'constdefs'
|
file |
diff |
annotate
|
Wed, 06 Mar 1996 12:19:16 +0100 |
clasohm |
documented new function 'section'
|
file |
diff |
annotate
|
Tue, 27 Feb 1996 13:01:16 +0100 |
clasohm |
removed note about "IO exceptions" during HTML generation
|
file |
diff |
annotate
|
Thu, 15 Feb 1996 10:51:22 +0100 |
clasohm |
updated documentation of MAKE_HTML
|
file |
diff |
annotate
|
Fri, 26 Jan 1996 13:43:36 +0100 |
clasohm |
extended warning regarding MAKE_HTML databases
|
file |
diff |
annotate
|
Fri, 26 Jan 1996 12:45:09 +0100 |
clasohm |
added warning for databases made with set MAKE_HTML
|
file |
diff |
annotate
|
Mon, 18 Dec 1995 13:09:17 +0100 |
clasohm |
setting base_path is now optional
|
file |
diff |
annotate
|
Thu, 07 Dec 1995 14:24:32 +0100 |
clasohm |
removed quotes from syntax and consts sections
|
file |
diff |
annotate
|
Fri, 01 Dec 1995 12:27:09 +0100 |
clasohm |
changed HTML documentation
|
file |
diff |
annotate
|
Mon, 27 Nov 1995 13:44:56 +0100 |
clasohm |
corrected documentation of pseudo theories;
|
file |
diff |
annotate
|
Thu, 19 Jan 1995 16:05:21 +0100 |
clasohm |
added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
|
file |
diff |
annotate
|
Wed, 18 Jan 1995 10:17:55 +0100 |
wenzelm |
quite a lot of minor and major revisions (inspecting theories, read_axm,
|
file |
diff |
annotate
|
Mon, 18 Jul 1994 12:22:30 +0200 |
nipkow |
added init_thy_reader and removed extend_theory
|
file |
diff |
annotate
|
Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
Fri, 15 Apr 1994 17:42:33 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
Mon, 21 Mar 1994 11:02:57 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
Tue, 01 Mar 1994 17:21:47 +0100 |
nipkow |
update towards LNCS
|
file |
diff |
annotate
|