Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Doc/README
author Walther Neuper <walther.neuper@jku.at>
Sun, 04 Apr 2021 13:31:04 +0200
changeset 60183 0959e61a3f3f
parent 59827 168abe8dd1e3
child 60785 5b6bd5ae739b
permissions -rw-r--r--
new session for Doc/Specify_Phase, incomplete
walther@59827 
     1
 
~~/src/Tools/isac/Doc/README
walther@59827 
     2
 






walther@59827


     3


pdflatex in ~~/src/Tools/isac/Doc/ by:







walther@59827


     4


/usr/local/isabisac/bin/isabelle build -D .







walther@59827


     5


 







walther@59827


     6


In case nothing happens with the above command, go







walther@60183


     7


~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret*













wneuper/isa