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>
Tue, 13 Apr 2021 13:20:05 +0200
changeset 60189 6b021e8cb8da
parent 60183 0959e61a3f3f
child 60785 5b6bd5ae739b
permissions -rw-r--r--
trial with setup for session "Doc", unsuccessful
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