Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Doc/README
author wenzelm
Thu, 08 Apr 2021 13:27:27 +0200
changeset 60188 422186a35be8
parent 60183 0959e61a3f3f
child 60785 5b6bd5ae739b
permissions -rw-r--r--
avoid odd clones of Isabelle latex styles:
these diverge over time, when the originals in $ISABELLE_HOME/lib/texinputs change; 
     1 ~~/src/Tools/isac/Doc/README

     2 

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

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

     5  

     6 In case nothing happens with the above command, go

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