Walther Neuper <neuper@ist.tugraz.at> [Mon, 16 Aug 2010 16:36:19 +0200] rev 37922
changed \"plus\" -> \"PLUS\", times, power_, sqrt_, times_
with e.g find . -type f -exec sed -i s/\"divide_\"/\"DIVIDE\"/g {} \;
Respective updates in the Scripts need to be done by hand.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 16 Aug 2010 16:19:53 +0200] rev 37921
finished Script/*
TODO: replace "plus" -> "PLUS", times, power_ in calclist and scripts
Marco Steger <m.steger@student.tugraz.at> [Sun, 15 Aug 2010 16:57:44 +0200] rev 37920
new branch for adapting jEdit to isac
Marco Steger <m.steger@student.tugraz.at> [Sun, 15 Aug 2010 16:50:35 +0200] rev 37919
Added the Isac-jEdit-Nb-project
Walther Neuper <neuper@ist.tugraz.at> [Sat, 14 Aug 2010 18:21:21 +0200] rev 37918
SD parser v.0 enhanced, 1 alternative missing
Added rules, which do not yet work in general.
To be done together with making alternative working.
version sufficient to start work on scala parsers.
Walther Neuper <neuper@ist.tugraz.at> [Sat, 14 Aug 2010 17:03:35 +0200] rev 37917
v.0 of parser for Back's structured derivations, 1 alternative missing
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 16:10:04 +0200] rev 37916
clarified handling of Parse.term, resume parse SDs
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 15:25:08 +0200] rev 37915
established clean test files
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 15:08:12 +0200] rev 37914
reactivated by 'hg branch --force isac-update-Isa09-2'
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 15:03:34 +0200] rev 37913
prepare reactivation of isac-update-Isa09-2