#
108f3266 |
|
28-Aug-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
duplicate words removed from various documentation files The magic command is: grep " \([[:alpha:]]\+\) \1[[:space:]]" \ `find . -name "*.doc" -or -name "*.tex"` but the output still needs to be filtered by eye, since many duplicates occur in embedded math and ML. Duplicates in the Italian manual approved by Domenico Masini.
|
#
245cc0f3 |
|
01-Aug-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
Typography: correct spacing after i.e. and e.g.
|
#
a81fbe4f |
|
13-Oct-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove trailing whitespace in a bunch of .tex files.
|
#
53fa769c |
|
29-Apr-2008 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Have "modernised" the manuals. 1. By default it now uses pdflatex. Postscript can still be generated with "make ps". * Authors should not use pstricks - it doesn't work with pdflatex. * The commuting diagrams in the tutorial have been redone with XP-pic -- with much less code. * Other figures can be included with "\includegraphics", which is provided by the graphicx package. Just make sure you upload EPS and PDF versions of the diagrams. * The Covers directory and old logos have been removed -- they weren't maintainable. (Have tarted up the title.tex pages.) 2. The make files have been updated and cleaned up. There is now "make clean" option in $HOLDIR/Manuals. * As a side note, I noticed that a call to "make" in $HOLDIR/Manuals didn't do anything on Mac OS X. I had to do "make -B". 3. Have eliminated font substitution errors. * Don't include the charter.sty package - the font is now changed in LaTeX/layout.sty. This avoids changing the \tt font, which causes problems with \section{\texttt{stuff}}. * Left and right braces in \tt font can be a problem. \{ and \} give maths font, which is fine in places. \verb%{}% will work but \verb can't be used in certain places (inside another command). Have added \lb and \rb to LaTeX/commands.tex. These are just \char'173 and \char'175 and can be used anywhere. 4. Have commented out the mucking about with page numbering. * This means that if you do a goto page N (in Acrobat, Preview.app etc.) then you go to page N of the main text. (Stops folks having to add an offset to entries in the index.) 5. Have made things more compatible with amsmath. * The environment "boxed" (LaTeX/commands.tex) has been renamed to "holboxed". * Have changed "\over" to "\frac". * amsmath is turned on in the Logic manual, mainly to get text subscripts typesetting better. 6. Have removed a bunch of hbox (and other) warnings. * Don't do "\begin{session}\begin{hol}\begin{verbatim}...", do "\begin{session}\begin{verbatim}..." instead. * Don't use "\begin{hol}\begin{verbatim}..." is item lists. Instead just do "\begin{verbatim}". * Have done some small text edits - hopefully these are okay. * A few more warnings remain and there's not much that can be done about underfull vboxes -- short of going with "\raggedbottom". 7. Have made Doc2TeX and reference.tex used fancyvrb, This means the font size can be set to \small globally. Have also removed the \samepage directive -- a few bad breaks are better than having material bigger than the size of the page.
|
#
954a3070 |
|
28-Apr-2008 |
Hasan Amjad <ha227@cam.ac.uk> |
Moved HolBdd and holCheck out of Description, as they are no longer in src. make will now build them as standalone documents.
|
#
1976a681 |
|
04-Aug-2005 |
Hasan Amjad <ha227@cam.ac.uk> |
* Added HolSatLib and HolBddLib sections to Description. * Changed Description to use bibtex for bibliography.
|
#
3509c317 |
|
02-Aug-2005 |
Hasan Amjad <ha227@cam.ac.uk> |
Fixed suspect typo flagged by MN (thanks).
|
#
ea7a96cb |
|
01-Aug-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Some typographic clean-ups. In particular, replace \HOLb (defined to be \HOL\,) with \HOL{}. The former didn't do nice inter-word spacing, and also looked ugly when followed by punctuation. Similarly with \hc. Flagged a couple of non-\hc occurrences of holCheck (note lower-case). Some other minor changes.
|
#
91e6b91d |
|
01-Aug-2005 |
Hasan Amjad <ha227@cam.ac.uk> |
HolCheck section added to Description.
|