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.
30 ^doc-src/.*\.tex.backup
36 ^src/Tools/jEdit/nbproject/build-impl.xml
37 ^src/Tools/jEdit/nbproject/private/
38 ^src/Tools/jEdit/build/
39 ^src/Tools/jEdit/dist/
40 ^src/Tools/jEdit/contrib/