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 wneuper <Walther.Neuper@jku.at>
Sat, 30 Dec 2023 16:49:50 +0100
changeset 60785 5b6bd5ae739b
parent 60183 0959e61a3f3f
permissions -rw-r--r--
bind Doc/Lucas_Interpreter and Doc/Specify_Phase into Test_Isac 
     1 ~~/src/Tools/isac/Doc/README

     2 

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

     4   ~/repos/isabisac/bin/isabelle build -D .

     5 

     6 .. ATTENTION: USE ONLY IN ../Doc/

     7   E.G. in isa/ CAUSES Isabelle build from scratch .. Running HOL-Mirabelle-ex

     8     + FOL, FOL-ex, .. (takes MANY min.)

     9   to ~/.isabelle/isabisac/heaps/polyml-5.9_x86_64_32-linux$

    10 

    11                             

    12 In case nothing happens with the above command, go

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