equal
deleted
inserted
replaced
3 An example for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL. |
3 An example for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL. |
4 *.xml copied from https://hg.risc.uni-linz.ac.at/wneuper/isac/file/d9f9cfd09b0f/xmldata/exp |
4 *.xml copied from https://hg.risc.uni-linz.ac.at/wneuper/isac/file/d9f9cfd09b0f/xmldata/exp |
5 *.html copied from ~/proto4/kbase/exp |
5 *.html copied from ~/proto4/kbase/exp |
6 |
6 |
7 exp_Statics_Biegel_Timischl_7-70.html generated from *.xml in Isac-Java |
7 exp_Statics_Biegel_Timischl_7-70.html generated from *.xml in Isac-Java |
8 ! exp_Statics_Biegel_Timischl_7-70.sml Formalise.T list to start calculation, |
8 ! exp_Statics_Biegel_Timischl_7-70.str Formalise.T list to start calculation, |
9 see ~~/test/Tools/isac/Knowledge/biegelinie-4.sml |
9 see ~~/test/Tools/isac/Knowledge/biegelinie-4.sml |
10 exp_Statics_Biegel_Timischl_7-70.xml generates *.html for browsing |
10 exp_Statics_Biegel_Timischl_7-70.xml generates *.html for browsing |
|
11 CONTAINS DATA FOR *.html AND *.sml |
11 README this |
12 README this |
|
13 |
|
14 for cp: |
|
15 "~~/src/Tools/isac/Examples/exp_Statics_Biegel_Timischl_7-70.str" |