Mon, 06 Sep 2010 15:53:18 +0200 |
Walther Neuper |
updated Knowledge/Root.thy, plus changes ahead.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 15:09:37 +0200 |
Walther Neuper |
updated Knowledge/Equation.thy, plus changes ahead.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 14:48:38 +0200 |
Walther Neuper |
updated Knowledge/PolyMinus, plus some changes ahead
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 17:19:20 +0200 |
Walther Neuper |
updated Knowledge/Rational
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 14:28:38 +0200 |
Walther Neuper |
intermediate state Knowledge/Rational.ML, optimizing reading error msg
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 12:33:16 +0200 |
Walther Neuper |
impl. parse_patt into fun prep_pbt, prep_met
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 12:22:35 +0200 |
Walther Neuper |
updated Poly.thy finally: introduced "fun parse_patt"
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 15:36:48 +0200 |
Walther Neuper |
updates over all Knowledge/*: Scripts 'Calculate ...'
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 15:11:23 +0200 |
Walther Neuper |
cleanup within Knowledge/Poly, start with Scripts
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 21:57:03 +0200 |
Marco Steger |
changed .java to .scala
jedit-isac
|
changeset |
files
|
Wed, 01 Sep 2010 16:43:58 +0200 |
Walther Neuper |
fixed @{theory} in all Knowledge/*.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 16:15:13 +0200 |
Walther Neuper |
update thm_names Isa2002 --> Isa09-2 in Scripts
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 15:19:47 +0200 |
Walther Neuper |
cleanup from the previous commit
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 15:17:43 +0200 |
Walther Neuper |
fixed all @{thm } in src+test
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 09:56:09 +0200 |
Walther Neuper |
updated Knowledge/Simplify
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 16:38:22 +0200 |
Walther Neuper |
updating Knowledge/Simplify, changes ahead + in test
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 16:00:13 +0200 |
Walther Neuper |
num_str --> num_str @{thm
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 15:36:57 +0200 |
Walther Neuper |
updated Knowledge/Atools.thy + some changes + changes ahead
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 11:10:30 +0200 |
Walther Neuper |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 10:22:15 +0200 |
Walther Neuper |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 10:19:02 +0200 |
Walther Neuper |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
isac-update-Isa09-2
|
changeset |
files
|
Mon, 30 Aug 2010 15:18:09 +0200 |
Walther Neuper |
checked all rlsthmsNOTisac applicable to reals
isac-update-Isa09-2
|
changeset |
files
|
Mon, 30 Aug 2010 14:35:51 +0200 |
Walther Neuper |
renamed test/* according to src/*
isac-update-Isa09-2
|
changeset |
files
|
Mon, 30 Aug 2010 14:29:49 +0200 |
Walther Neuper |
cleanup before renaming in test
isac-update-Isa09-2
|
changeset |
files
|
Tue, 31 Aug 2010 21:15:03 +0200 |
Marco Steger |
cleaned isac directory
jedit-isac
|
changeset |
files
|
Tue, 31 Aug 2010 21:03:11 +0200 |
Marco Steger |
Changed src/Tools/isac/jeditC directory
jedit-isac
|
changeset |
files
|
Mon, 30 Aug 2010 22:33:52 +0200 |
Marco Steger |
Removed old files
jedit-isac
|
changeset |
files
|
Mon, 30 Aug 2010 22:28:09 +0200 |
Marco Steger |
Isac-NB-Changes
jedit-isac
|
changeset |
files
|
Fri, 27 Aug 2010 14:56:54 +0200 |
Walther Neuper |
updated syntax of all thys, semantic check until Atools.thy
isac-update-Isa09-2
|
changeset |
files
|
Fri, 27 Aug 2010 10:39:12 +0200 |
Walther Neuper |
updated *.thy ---> (theory "*") in previous *.ML
isac-update-Isa09-2
|
changeset |
files
|
Fri, 27 Aug 2010 10:28:44 +0200 |
Walther Neuper |
updated remaining *.ML files attached to *.thy
isac-update-Isa09-2
|
changeset |
files
|
Thu, 26 Aug 2010 18:21:14 +0200 |
Walther Neuper |
removed the *.ML files related to the above 8 thy's
isac-update-Isa09-2
|
changeset |
files
|
Thu, 26 Aug 2010 18:15:30 +0200 |
Walther Neuper |
updated initial 8 thy's syntax without evaluation
isac-update-Isa09-2
|
changeset |
files
|
Thu, 26 Aug 2010 10:03:53 +0200 |
Walther Neuper |
messed file dependencies.
isac-update-Isa09-2
|
changeset |
files
|
Wed, 25 Aug 2010 16:49:56 +0200 |
Walther Neuper |
stuck at Atools.thy again; resume test on dependencies
isac-update-Isa09-2
|
changeset |
files
|
Wed, 25 Aug 2010 16:20:07 +0200 |
Walther Neuper |
renamed isac's directories and Build_Isac.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 25 Aug 2010 15:15:01 +0200 |
Walther Neuper |
dependencies of isac files clarified in test
isac-update-Isa09-2
|
changeset |
files
|
Tue, 24 Aug 2010 12:18:27 +0200 |
Walther Neuper |
trial on organizing dependencies, not successful
isac-update-Isa09-2
|
changeset |
files
|
Tue, 24 Aug 2010 11:46:09 +0200 |
Walther Neuper |
start of (re-?)organizing dependencies between isac's files
isac-update-Isa09-2
|
changeset |
files
|
Mon, 23 Aug 2010 17:10:57 +0200 |
Walther Neuper |
updated Typefis.thy, removed Float*, Complex* (already in Isabelle2009-2)
isac-update-Isa09-2
|
changeset |
files
|
Mon, 23 Aug 2010 11:22:25 +0200 |
Walther Neuper |
update math-engine complete
isac-update-Isa09-2
|
changeset |
files
|
Mon, 23 Aug 2010 11:12:59 +0200 |
Walther Neuper |
update xmlsrc/* finished
isac-update-Isa09-2
|
changeset |
files
|
Mon, 23 Aug 2010 11:05:54 +0200 |
Walther Neuper |
updated xmlsrc/* except interface-xml.sml
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 17:18:59 +0200 |
Walther Neuper |
finished update of all mathengine ME/*
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 17:02:49 +0200 |
Walther Neuper |
repaired Thm.cterm_of, string_of_cterm
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 16:37:52 +0200 |
Walther Neuper |
updated ME/script.sml
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 16:21:41 +0200 |
Walther Neuper |
updated ME/appl.sml,rewtools.sml; thms_of --> PureThy.all_thms_of
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 14:58:43 +0200 |
Walther Neuper |
pushed updates over all sml+test:
isac-update-Isa09-2
|
changeset |
files
|
Fri, 20 Aug 2010 12:25:37 +0200 |
Walther Neuper |
finished update ME/calchead.sml + pushed updates over all sml+test
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 15:41:56 +0200 |
Walther Neuper |
sed -i s/"Sign.string_of_term (sign_of thy)"/"Syntax.string_of_term (thy2ctxt thy)"
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 15:36:02 +0200 |
Walther Neuper |
cleanup
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 15:20:53 +0200 |
Walther Neuper |
Theory.theory --> theory, Library.option --> option, Some/None-->SOME/NONE in all files
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 15:02:06 +0200 |
Walther Neuper |
infix mem union --> member union op = ...
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 12:08:42 +0200 |
Walther Neuper |
reduced ctxt_Isac and ctxt_HOL to fun thy2ctxt', thy2ctxt
isac-update-Isa09-2
|
changeset |
files
|
Thu, 19 Aug 2010 12:00:46 +0200 |
Walther Neuper |
updated ME/generate
isac-update-Isa09-2
|
changeset |
files
|
Wed, 18 Aug 2010 16:03:27 +0200 |
Walther Neuper |
resuming after ME/ctree.sml
isac-update-Isa09-2
|
changeset |
files
|
Wed, 18 Aug 2010 13:55:23 +0200 |
Walther Neuper |
replaced None-->NONE, Some-->SOME over all files
isac-update-Isa09-2
|
changeset |
files
|
Wed, 18 Aug 2010 13:53:15 +0200 |
Walther Neuper |
finished ME/ctree.sml
isac-update-Isa09-2
|
changeset |
files
|
Wed, 18 Aug 2010 13:40:09 +0200 |
Walther Neuper |
established thy-ctxt strategy (1..2) for ME/mstools.sml
isac-update-Isa09-2
|
changeset |
files
|
Tue, 17 Aug 2010 09:05:51 +0200 |
Walther Neuper |
cleaned Script: rules2scr_Rls, rules2scr_Seq
isac-update-Isa09-2
|
changeset |
files
|