doc/README-isac-doc.txt
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 4304 06c0d6c056b2
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
     1 README-isac-doc.txt
     2 
     3 WN120509 moved 0INSTALL/* tp 0installEtc
     4 
     5 WN060602
     6 # finished reports are published in the web as follows:
     7 (1) cp *.ps  ~/proto2/publ/
     8     cp *.pdf ~/proto2/publ/
     9 
    10 (2) see ~/proto2/publ/README-publ.txt
    11 
    12 # isac docu is generated by
    13 > latex isac-docu