equal
deleted
inserted
replaced
49 use "Frontend/states.sml" |
49 use "Frontend/states.sml" |
50 use "Frontend/interface.sml" |
50 use "Frontend/interface.sml" |
51 |
51 |
52 use "print_exn_G.sml" |
52 use "print_exn_G.sml" |
53 *) "Frontend/Frontend" |
53 *) "Frontend/Frontend" |
|
54 (* the Protocol for the connection isac-java -- Isabelle/Isac is built separately: |
|
55 libisabelle$ /usr/local/isabisac/bin/isabelle build -D . -bv |
|
56 here we partly check consistency libisabelle/Isac -- Isabelle/Isac: *) |
54 "~/proto4/libisabelle/libisabelle/src/main/isabelle/Protocol/Protocol" |
57 "~/proto4/libisabelle/libisabelle/src/main/isabelle/Protocol/Protocol" |
55 |
58 |
56 "Knowledge/Build_Thydata" (*imports Isac.thy etc*) |
59 "Knowledge/Build_Thydata" (*imports Isac.thy etc*) |
57 |
60 |
58 begin |
61 begin |