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>
Wed, 11 Mar 2020 15:25:52 +0100
changeset 59827 168abe8dd1e3
child 60183 0959e61a3f3f
permissions -rw-r--r--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
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@59827


     7


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













wneuper/isa