| #
4be0d505 |
|
01-Jun-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add "In memory of Mike Gordon" text to ack.tex
|
| #
44430d21 |
|
10-Apr-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add Ramana Kumar to list of contributors in ack.tex; correct Ken's name.
|
| #
0a9fb4a3 |
|
08-Jun-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Added some recent developers. Anyone else?
|
| #
6bac3cc5 |
|
06-Jun-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Added description of HolQbfLib.
|
| #
c45a78c6 |
|
24-Sep-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Added a section on HolSmtLib. Preliminary material, needs to be rewritten
eventually.
|
| #
abcc2621 |
|
08-Oct-2006 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Finish the update that sees LOGIC become a manual in its own right.
DESCRIPTION becomes a bit shorter as a result, and no longer has "parts",
just chapters.
|
| #
d2eb68ea |
|
29-May-2006 |
Konrad Slind <konrad.slind@gmail.com> |
Some updates to HOL manuals. Main change is to SourceForge addresses,
but have also changed the Acknowledgements to reflect the fact that
the manual is no longer a "wide-ranging revision" and to also
list the names of important contributors. Some people may have been
left out; if so, please let me know.
|
| #
54d461a6 |
|
16-Dec-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
\holn macro now defined in commands.tex.
|
| #
2568b87b |
|
05-Nov-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Modified Acknowledgements at Mike's suggestion.
|
| #
926f8681 |
|
04-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Filled the paragraphs; text remains unaltered.
|
| #
6fc6e5ae |
|
04-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Useful parts of the hol88 directory; copied across for hol98 and some
slightly updated.
|