equal
deleted
inserted
replaced
27 |
27 |
28 cd"smltest/Scripts"; |
28 cd"smltest/Scripts"; |
29 use"calculate-float.sml"; |
29 use"calculate-float.sml"; |
30 use"calculate.sml"; |
30 use"calculate.sml"; |
31 use"listg.sml"; |
31 use"listg.sml"; |
|
32 use"rewrite.sml"; |
32 use"scrtools.sml"; |
33 use"scrtools.sml"; |
|
34 use"term_G.sml"; |
|
35 use"tools.sml"; |
33 cd "../.."; |
36 cd "../.."; |
34 cd"smltest/ME"; |
37 cd"smltest/ME"; |
35 use"ctree.sml"; |
38 use"ctree.sml"; |
36 use"calchead.sml"; |
39 use"calchead.sml"; |
37 use"rewtools.sml"; |
40 use"rewtools.sml"; |
52 cd"smltest/IsacKnowledge"; |
55 cd"smltest/IsacKnowledge"; |
53 use"atools.sml"; |
56 use"atools.sml"; |
54 use"complex.sml"; |
57 use"complex.sml"; |
55 use"diff.sml"; |
58 use"diff.sml"; |
56 use"diffapp.sml"; |
59 use"diffapp.sml"; |
57 use"integrate.sml"; |
60 (*use"integrate.sml";TODO.new_c: cvs before 071227, 11:50*) |
|
61 use"equation.sml"; |
58 (*use"inssort.sml"; problems with recdef in Isabelle2002*) |
62 (*use"inssort.sml"; problems with recdef in Isabelle2002*) |
59 use"logexp.sml"; |
63 use"logexp.sml"; |
60 use"poly.sml"; |
64 use"poly.sml"; |
|
65 use"polyminus.sml"; |
61 use"polyeq.sml"; (*TODO 31.b, n1., 44.a, 1.a~, 1.b (all'expanded')WN |
66 use"polyeq.sml"; (*TODO 31.b, n1., 44.a, 1.a~, 1.b (all'expanded')WN |
62 ? also check others without check 'diff.behav.'*); |
67 ? also check others without check 'diff.behav.'*); |
63 use"rateq.sml"; |
68 use"rateq.sml"; |
64 use"rational.sml" (*TODO add_fractions_p throws overflow-exn WN*); |
69 use"rational.sml" (*TODO add_fractions_p throws overflow-exn WN*); |
65 use"rlang.sml"; (*WN.12.6.03: for TODOs search 'writeln', |
70 use"rlang.sml"; (*WN.12.6.03: for TODOs search 'writeln', |
71 use"termorder.sml"; |
76 use"termorder.sml"; |
72 use"trig.sml"; |
77 use"trig.sml"; |
73 use"vect.sml"; |
78 use"vect.sml"; |
74 use"wn.sml"; |
79 use"wn.sml"; |
75 use"eqsystem.sml"; |
80 use"eqsystem.sml"; |
76 use"biegelinie.sml"; |
81 (*use"biegelinie.sml";TODO.new_c: cvs before 071227, 11:50*) |
77 use"algein.sml"; |
82 use"algein.sml"; |
78 cd "../.."; |
83 cd "../.."; |
79 "**** run tests on IsacKnowledge complete ****************"; |
84 "**** run tests on IsacKnowledge complete ****************"; |
|
85 |
|
86 val path = "/home/neuper/proto2/testsml2xml/"; |
|
87 pbl_hierarchy2file (path ^ "pbl/"); |
|
88 pbls2file (path ^ "pbl/"); |
|
89 met_hierarchy2file (path ^ "met/"); |
|
90 mets2file (path ^ "met/"); |
|
91 thy_hierarchy2file (path ^ "thy/"); |
|
92 thes2file (path ^ "thy/"); |
|
93 "**** tested creation of xmldata *************************"; |
|
94 |
80 cd"sml"; |
95 cd"sml"; |
81 states:=[]; |
96 states:=[]; |
82 "========================================================="; |
97 "========================================================="; |
83 |
98 |
84 "**** run systests complete ***************** re-organize!"; |
99 "**** run systests complete ***************** re-organize!"; |
85 "**** run tests on math-engine complete ******************"; |
100 "**** run tests on math-engine complete ******************"; |
86 "**** run tests on IsacKnowledge complete ****************"; |
101 "**** run tests on IsacKnowledge complete ****************"; |
87 "**** build isac kernel + run tests complete *************"; |
102 "**** build isac kernel + run tests complete *************"; |
|
103 "**** tested creation of xmldata *************************"; |