Walther Neuper <neuper@ist.tugraz.at> [Thu, 30 Dec 2010 14:25:19 +0100] rev 38082
tuned
Walther Neuper <neuper@ist.tugraz.at> [Thu, 30 Dec 2010 14:24:43 +0100] rev 38081
analysed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
this error is caused in test/../polyminus
by wrong input data to me, autoCalculate, and NOT by bugs in me,
because me work in test/../integrate.sml and test/../diff.sml,
the latter checked in this changeset.
the error probably occurs in all expls with simplify.
Walther Neuper <neuper@ist.tugraz.at> [Wed, 29 Dec 2010 20:07:52 +0100] rev 38080
intermed. in course/T3_MathEngine.thy
two problems encountered
(1) isabelle jedit does NOT accept syntax in Test_Isac.thy,
which is accepted by isabelle emacs
Thus unnecessarily edited test/../rational.sml
(2) There is an error at Model_Problem in me poly_minus.
This will be fixed before continuing T3_MathEngine.thy
Tests are running again under isabelle emacs.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 27 Dec 2010 10:38:49 +0100] rev 38079
added CTP-userinterfaces.bib
Walther Neuper <neuper@ist.tugraz.at> [Wed, 15 Dec 2010 11:05:07 +0100] rev 38078
merged
Walther Neuper <neuper@ist.tugraz.at> [Wed, 15 Dec 2010 11:00:32 +0100] rev 38077
started CTP-userinterfaces.tex, course/T1* T2*
Walther Neuper <neuper@ist.tugraz.at> [Wed, 24 Nov 2010 15:00:23 +0100] rev 38076
tuned
Walther Neuper <neuper@ist.tugraz.at> [Tue, 23 Nov 2010 12:04:33 +0100] rev 38075
merged
command on branch 'decompose-isar':
hg merge isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 23 Nov 2010 11:53:21 +0100] rev 38074
merged
command on branch 'decompose-isar':
hg merge "the isac plugin for jEdit"
Marco Steger <m.steger@student.tugraz.at> [Tue, 23 Nov 2010 08:58:24 +0100] rev 38073
changes in project files