#
866e6ae1 |
|
01-Aug-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
Fixed 'make clean' for .ps and .pdf LaTeX outputs. Wildcard expansion like 'rm -f foo.{ps,pdf}' works only in shell and not in Makefiles.
|
#
99872ead |
|
01-Jul-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Changes that will probably be redundant, but some work towards getting this crufty bodge of Makefilery and sed and shell scripts (ugh) to build sensibly.
|
#
a4e77f0b |
|
16-Apr-2009 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Some maintenance to ensure that the sub-manuals and reference manual build properly (help/src -> help/src-sml). Dropped the references to src/n_bit and src/word. The res_quan manual doesn't seem to build on Macs. Some problem with it failing to make the theories.tex file. (Still works on an old Linux machine.)
|
#
9225a680 |
|
19-Jul-2005 |
Peter Homeier <palantir@trustworthytools.com> |
---------------------------------------------------------------------- Committing in revisions to several libraries so that the documentation builds, and is then presented at the top level when the exported version of HOL4 is built (as for the public version we are about to release). This documentation is obviously very much out of date, and yet it still is greatly useful for people who wish to use these libraries. While waiting for fully updated versions, I believe this is far better than not including these, as much of the content does not appear elsewhere. Modified Files: hol98/developers/releasing-hol hol98/src/num/arith/Manual/Makefile hol98/src/num/arith/Manual/entries.tex hol98/src/num/reduce/Manual/Makefile hol98/src/num/reduce/Manual/index.tex hol98/src/num/reduce/Manual/reduce.tex hol98/src/pair/Manual/Makefile hol98/src/pred_set/Manual/index.tex hol98/src/res_quan/Manual/Makefile hol98/src/string/Manual/Makefile hol98/src/taut/Manual/Makefile hol98/src/unwind/Manual/Makefile hol98/src/unwind/Manual/entries.tex hol98/src/unwind/Manual/index.tex hol98/src/unwind/Manual/unwind.tex hol98/src/word/Manual/Makefile hol98/src/word/Manual/index.tex Added Files: hol98/src/string/help/defs/ASCII_DEF.doc hol98/src/string/help/defs/STRING_DEF.doc hol98/src/string/help/defs/``_DEF.doc hol98/src/string/help/defs/ascii_ISO_DEF.doc hol98/src/string/help/defs/ascii_TY_DEF.doc hol98/src/string/help/defs/string_ISO_DEF.doc hol98/src/string/help/defs/string_TY_DEF.doc hol98/src/string/help/thms/ASCII_11.doc hol98/src/string/help/thms/NOT_EMPTY_STRING.doc hol98/src/string/help/thms/NOT_STRING_EMPTY.doc hol98/src/string/help/thms/STRING_11.doc hol98/src/string/help/thms/ascii_Axiom.doc hol98/src/string/help/thms/ascii_CASES.doc hol98/src/string/help/thms/ascii_Induct.doc hol98/src/string/help/thms/string_Axiom.doc hol98/src/string/help/thms/string_CASES.doc hol98/src/string/help/thms/string_Induct.doc ----------------------------------------------------------------------
|
#
074b96d8 |
|
04-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Minor fix, brought about by use of modern makeindex tool rather than old one that was distributed with hol88.
|
#
cb436c81 |
|
04-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Updated summary files so that this (possibly useful) file now also builds.
|
#
ec3c0deb |
|
04-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Updated documentation to use LaTeX2e, standard makeindex and the reinstated Manual directory from the repository.
|
#
620a79db |
|
21-Jul-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Updated generation of manual so that it now includes the appropriate theorems once more.
|
#
58841e67 |
|
29-Apr-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Initial revision
|