doc-src/Intro/getting.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1998-07-28 paulson 1998-07-28 Changed "goal" to "Goal"
1998-04-09 paulson 1998-04-09 Simplified the syntax description; mentioned FOL vs HOL
1997-11-20 paulson 1997-11-20 New, higher-level definition of \\out macro
1997-07-02 paulson 1997-07-02 Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
1997-05-15 wenzelm 1997-05-15 remove FIXME;
1997-05-07 paulson 1997-05-07 New acknowledgements; no Fast_tac
1997-05-05 wenzelm 1997-05-05 misc updates, tuning, cleanup;
1996-07-22 paulson 1996-07-22 Updated BibTeX identifiers
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-24 lcp 1994-03-24 revisions to first Springer draft
1993-11-10 lcp 1993-11-10 Initial revision