#
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.)
|