2006-05-13 |
wenzelm |
moved defs explanation to isar-ref;
|
file |
diff |
annotate
|
2001-09-28 |
berghofe |
Added label for section on terms.
|
file |
diff |
annotate
|
2001-02-04 |
wenzelm |
added no_document;
|
file |
diff |
annotate
|
2000-08-28 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
2000-01-18 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
1999-09-02 |
wenzelm |
added with_path;
|
file |
diff |
annotate
|
1999-08-03 |
wenzelm |
fixed {};
|
file |
diff |
annotate
|
1999-07-30 |
wenzelm |
added update_thy_only;
|
file |
diff |
annotate
|
1999-07-12 |
wenzelm |
removed merge_theories;
|
file |
diff |
annotate
|
1999-05-18 |
paulson |
locale documentation (from Florian)
|
file |
diff |
annotate
|
1999-05-17 |
wenzelm |
remove_thy;
|
file |
diff |
annotate
|
1999-05-10 |
wenzelm |
axclass;
|
file |
diff |
annotate
|
1999-05-05 |
paulson |
Now uses manual.bib; some references updated
|
file |
diff |
annotate
|
1999-05-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1999-05-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1999-05-03 |
wenzelm |
theory loader stuff updated and improved;
|
file |
diff |
annotate
|
1998-08-27 |
wenzelm |
moeved get_thm etc. to goals.tex;
|
file |
diff |
annotate
|
1998-08-24 |
wenzelm |
added nonterminals, setup;
|
file |
diff |
annotate
|
1998-02-05 |
paulson |
Fixed a lot of overfull and underfull lines (hboxes)
|
file |
diff |
annotate
|
1998-01-09 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
1997-12-08 |
wenzelm |
\subsection{*Theory inclusion};
|
file |
diff |
annotate
|
1997-12-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1997-11-27 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
1997-07-02 |
paulson |
Now there are TWO spaces after each full stop, so that the Emacs sentence
|
file |
diff |
annotate
|
1997-05-15 |
wenzelm |
removed garbage;
|
file |
diff |
annotate
|
1997-05-06 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
1996-08-12 |
paulson |
Added a new section on Definitions
|
file |
diff |
annotate
|
1996-07-23 |
paulson |
Corrected typo regarding the type of set_oracle
|
file |
diff |
annotate
|
1996-07-11 |
paulson |
Documentation of oracles and their syntax
|
file |
diff |
annotate
|
1996-04-04 |
nipkow |
Added 'constdefs'
|
file |
diff |
annotate
|
1996-03-06 |
clasohm |
documented new function 'section'
|
file |
diff |
annotate
|
1996-02-27 |
clasohm |
removed note about "IO exceptions" during HTML generation
|
file |
diff |
annotate
|
1996-02-15 |
clasohm |
updated documentation of MAKE_HTML
|
file |
diff |
annotate
|
1996-01-26 |
clasohm |
extended warning regarding MAKE_HTML databases
|
file |
diff |
annotate
|
1996-01-26 |
clasohm |
added warning for databases made with set MAKE_HTML
|
file |
diff |
annotate
|
1995-12-18 |
clasohm |
setting base_path is now optional
|
file |
diff |
annotate
|
1995-12-07 |
clasohm |
removed quotes from syntax and consts sections
|
file |
diff |
annotate
|
1995-12-01 |
clasohm |
changed HTML documentation
|
file |
diff |
annotate
|
1995-11-27 |
clasohm |
corrected documentation of pseudo theories;
|
file |
diff |
annotate
|
1995-01-19 |
clasohm |
added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
|
file |
diff |
annotate
|
1995-01-18 |
wenzelm |
quite a lot of minor and major revisions (inspecting theories, read_axm,
|
file |
diff |
annotate
|
1994-07-18 |
nipkow |
added init_thy_reader and removed extend_theory
|
file |
diff |
annotate
|
1994-04-22 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
1994-04-15 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
1994-03-21 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
1994-03-01 |
nipkow |
update towards LNCS
|
file |
diff |
annotate
|
1994-02-26 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
1993-12-06 |
nipkow |
Typos and style
|
file |
diff |
annotate
|
1993-11-26 |
lcp |
Minor edits to discussion of use_thy
|
file |
diff |
annotate
|
1993-11-25 |
clasohm |
changed beginning of "Reading a new theory", added index "automatic loading"
|
file |
diff |
annotate
|
1993-11-25 |
wenzelm |
added subsection 'Classes and types';
|
file |
diff |
annotate
|
1993-11-25 |
clasohm |
added index commands, removed last paragraph of "Using Poly/ML"
|
file |
diff |
annotate
|
1993-11-22 |
nipkow |
minor changes
|
file |
diff |
annotate
|
1993-11-22 |
clasohm |
added chapter "Defining Theories" and made changes for new Readthy functions
|
file |
diff |
annotate
|
1993-11-10 |
lcp |
Initial revision
|
file |
diff |
annotate
|