1.1 --- a/src/Tools/isac/calcelems.sml Wed Sep 08 12:25:58 2010 +0200
1.2 +++ b/src/Tools/isac/calcelems.sml Wed Sep 08 12:41:04 2010 +0200
1.3 @@ -273,7 +273,7 @@
1.4 # that scripts should be re-usable ? #
1.5 #############################################################################
1.6
1.7 - eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq_,..'
1.8 + eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq',..'
1.9 which would not allow to 'solve (y'' = -M_b / EI, M_b)' by this script
1.10 because Biegelinie.thy is subthy of RatEq.thy and thus Biegelinie.M_b
1.11 is unknown in RatEq.thy and M_b cannot be parsed into the scripts guard