Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 15:36:57 +0200] rev 37965
updated Knowledge/Atools.thy + some changes + changes ahead
# replaced thms ahead by ./thms-replace-Isa02-Isa09-2.sml
# Knowledge/Delete.thy takes intermediate code:
* fun calc, fun term_of_float,fun var_op_float, fun float_op_var
for Float, which have already been deleted
* thms which are available only with long.identifiers
which cannot be handled in isac's Scripts
# added ProgLang/Language.thy collecting all data about Scripts
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 11:10:30 +0200] rev 37964
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 10:22:15 +0200] rev 37963
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 Aug 2010 10:19:02 +0200] rev 37962
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Aug 2010 15:18:09 +0200] rev 37961
checked all rlsthmsNOTisac applicable to reals
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Aug 2010 14:35:51 +0200] rev 37960
renamed test/* according to src/*
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Aug 2010 14:29:49 +0200] rev 37959
cleanup before renaming in test
Marco Steger <m.steger@student.tugraz.at> [Tue, 31 Aug 2010 21:15:03 +0200] rev 37958
cleaned isac directory
Marco Steger <m.steger@student.tugraz.at> [Tue, 31 Aug 2010 21:03:11 +0200] rev 37957
Changed src/Tools/isac/jeditC directory
Marco Steger <m.steger@student.tugraz.at> [Mon, 30 Aug 2010 22:33:52 +0200] rev 37956
Removed old files