equal
deleted
inserted
replaced
1 (* Title: ~~~/isac/Isac_Mathengine.thy |
1 (* Title: ~~~/isac/Isac_Mathengine.thy |
2 Author: Walther Neuper, TU Graz |
2 Author: Walther Neuper, TU Graz |
3 |
3 |
4 $ cd /usr/local/Isabelle2009-1/src/Pure/isac |
4 $ cd /usr/local/Isabelle2009-1/src/Tools/isac |
5 $ /usr/local/isabisac/bin/isabelle emacs Isac_Mathengine.thy & |
5 $ /usr/local/isabisac/bin/isabelle emacs Isac_Mathengine.thy & |
6 $ /usr/local/isabisac/bin/isabelle jedit Isac_Mathengine.thy & |
6 $ /usr/local/isabisac/bin/isabelle jedit Isac_Mathengine.thy & |
7 |
7 |
8 OR tty (unusable: after errors wrong toplevel): |
8 OR tty (unusable: after errors wrong toplevel): |
9 $ cd "/home/neuper/proto2/isac/src/sml" |
9 $ cd "/home/neuper/proto2/isac/src/sml" |