make Test_Isac.thy run in jEdit; intermed.
jEdit behaves differently from emacs in file dependencies.
Test_Isac.thy runs in emacs now.
For jEdit different uses seem appropriate; done in next step.
1 (* Title: collect all defitions for the Frontend
2 Author: Walther Neuper 110226
3 (c) due to copyright terms
6 theory Frontend_jedit imports Isac
10 ("../print_exn_G.sml")
12 ML {*"%%%%%%%%%%%%%%%%% start Frontend.thy %%%%%%%%%%%%%%%%%%%";*}
13 use "messages.sml" (*new 2011*)
14 use "states.sml" (*new 2011*)
15 use "interface.sml" (*part.*)
17 use "../print_exn_G.sml" (*new 2011*)
18 ML {*"%%%%%%%%%%%%%%%%% end Frontend.thy %%%%%%%%%%%%%%%%%%%%%";*}