| author | wneuper <walther.neuper@jku.at> |
| Fri, 07 May 2021 13:23:24 +0200 | |
| changeset 60277 | 4d8f06c7e961 |
| parent 60258 | a5eed208b22f |
| child 60635 | b2c092f1c75d |
| permissions | -rw-r--r-- |
| walther@59814 | 1 |
(* Title: collect all defitions for xml generation and libisabelle (Las Hupel) |
| neuper@41905 | 2 |
Author: Walther Neuper 110226 |
| neuper@41905 | 3 |
(c) due to copyright terms |
| walther@60253 | 4 |
|
| walther@60253 | 5 |
Since libisabelle has been discontinued, this directory will disappear eventually. |
| walther@60258 | 6 |
Respective code will be deleted or located elsewhere. |
| neuper@41905 | 7 |
*) |
| neuper@41905 | 8 |
|
| wneuper@59600 | 9 |
theory BridgeLibisabelle |
| wenzelm@60192 | 10 |
imports "$ISABELLE_ISAC/Test_Code/Test_Code" |
| neuper@41905 | 11 |
begin |
| walther@60258 | 12 |
ML_file "pbl-met-hierarchy.sml" (*keep as a model for browsing pbl and met hierarchies*) |
| walther@60258 | 13 |
ML_file "thy-hierarchy.sml" (*replace by Isabelle/PIDE*) |
| walther@60258 | 14 |
ML_file "present-tool.sml" (*keep tests of interaction Java-frontend <-> Kernel running*) |
| walther@60258 | 15 |
ML_file mathml.sml (*keep tests of interaction Java-frontend <-> Kernel running*) |
| walther@60258 | 16 |
ML_file datatypes.sml (*keep tests of interaction Java-frontend <-> Kernel running*) |
| walther@60258 | 17 |
ML_file "interface-xml.sml" (*keep tests of interaction Java-frontend <-> Kernel running*) |
| walther@60258 | 18 |
ML_file interface.sml (*keep tests of interaction Java-frontend <-> Kernel running*) |
| walther@59763 | 19 |
|
| wneuper@59458 | 20 |
ML \<open> |
| walther@59616 | 21 |
\<close> ML \<open> |
| walther@60258 | 22 |
\<close> ML \<open> |
| wneuper@59458 | 23 |
\<close> |
| walther@60253 | 24 |
end |