| 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
|
| Mon, 16 Aug 2010 16:36:19 +0200 |
Walther Neuper |
changed \"plus\" -> \"PLUS\", times, power_, sqrt_, times_
isac-update-Isa09-2
|
changeset |
files
|
| Mon, 16 Aug 2010 16:19:53 +0200 |
Walther Neuper |
finished Script/*
isac-update-Isa09-2
|
changeset |
files
|
| Sun, 15 Aug 2010 16:57:44 +0200 |
Marco Steger |
new branch for adapting jEdit to isac
jedit-isac
|
changeset |
files
|
| Sun, 15 Aug 2010 16:50:35 +0200 |
Marco Steger |
Added the Isac-jEdit-Nb-project
jedit-isac
|
changeset |
files
|
| Sat, 14 Aug 2010 18:21:21 +0200 |
Walther Neuper |
SD parser v.0 enhanced, 1 alternative missing
decompose-isar
|
changeset |
files
|
| Sat, 14 Aug 2010 17:03:35 +0200 |
Walther Neuper |
v.0 of parser for Back's structured derivations, 1 alternative missing
decompose-isar
|
changeset |
files
|
| Thu, 12 Aug 2010 16:10:04 +0200 |
Walther Neuper |
clarified handling of Parse.term, resume parse SDs
decompose-isar
|
changeset |
files
|
| Thu, 12 Aug 2010 15:25:08 +0200 |
Walther Neuper |
established clean test files
decompose-isar
|
changeset |
files
|
| Thu, 12 Aug 2010 15:08:12 +0200 |
Walther Neuper |
reactivated by 'hg branch --force isac-update-Isa09-2'
isac-update-Isa09-2
|
changeset |
files
|
| Thu, 12 Aug 2010 15:03:34 +0200 |
Walther Neuper |
prepare reactivation of isac-update-Isa09-2
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 12 Aug 2010 14:59:58 +0200 |
Walther Neuper |
reactivated after 'hg branch --force decompose-isar'
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 12 Aug 2010 14:56:31 +0200 |
Walther Neuper |
reactivated by 'hg branch --force decompose-isar'
decompose-isar
|
changeset |
files
|
| Thu, 12 Aug 2010 11:50:51 +0200 |
Walther Neuper |
check files decompose-isar + isac-update-Isa09-2 OK
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 12 Aug 2010 11:29:05 +0200 |
Walther Neuper |
merged
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 12 Aug 2010 11:24:34 +0200 |
Walther Neuper |
moved decompose-isar to final dire-structure
decompose-isar
|
changeset |
files
|
| Thu, 12 Aug 2010 11:06:35 +0200 |
Walther Neuper |
merged
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 12 Aug 2010 11:02:32 +0200 |
Walther Neuper |
moved isac + test to final dire-structure
isac-update-Isa09-2
|
changeset |
files
|
| Wed, 11 Aug 2010 17:58:20 +0200 |
Walther Neuper |
Test_Parse_Term.thy before answer from isabelle-dev
decompose-isar
|
changeset |
files
|
| Wed, 11 Aug 2010 09:16:29 +0200 |
Walther Neuper |
intermediate on Parse.term
decompose-isar
|
changeset |
files
|
| Wed, 11 Aug 2010 07:05:24 +0200 |
Walther Neuper |
cleaned branch from decompose-isar work
isac-from-Isabelle2009-2
|
changeset |
files
|
| Wed, 11 Aug 2010 06:59:05 +0200 |
Walther Neuper |
resumed work on Parse.term
decompose-isar
|
changeset |
files
|
| Tue, 10 Aug 2010 15:38:54 +0200 |
Walther Neuper |
found solution for Parse.term, resume SD, after hg problems
decompose-isar
|
changeset |
files
|
| Sat, 07 Aug 2010 09:11:25 +0200 |
Walther Neuper |
started parser for Back's structured derivations
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 05 Aug 2010 15:19:48 +0200 |
Walther Neuper |
resolve switching branches
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 05 Aug 2010 14:27:25 +0200 |
Walther Neuper |
preparing to switch branch (correcting last merge)
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 05 Aug 2010 14:17:16 +0200 |
Walther Neuper |
merged
latex-isac-doc
|
changeset |
files
|
| Thu, 05 Aug 2010 14:15:25 +0200 |
Walther Neuper |
final result of trainee summer work
latex-isac-doc
|
changeset |
files
|
| Thu, 05 Aug 2010 11:21:36 +0200 |
Walther Neuper |
added KDE-extensions to hgignore
decompose-isar
|
changeset |
files
|
| Thu, 05 Aug 2010 11:08:04 +0200 |
Walther Neuper |
quick setup of ML parsers, trials for SD until name list
decompose-isar
|
changeset |
files
|
| Mon, 02 Aug 2010 10:11:16 +0200 |
Walther Neuper |
install jEdit/nbproject
decompose-isar
|
changeset |
files
|
| Thu, 05 Aug 2010 11:03:47 +0200 |
Alexandra Hirn |
result of trainee summer work
latex-isac-doc
|
changeset |
files
|
| Tue, 03 Aug 2010 13:55:24 +0200 |
Alexandra Hirn |
complete version 2
latex-isac-doc
|
changeset |
files
|
| Fri, 30 Jul 2010 09:15:36 +0200 |
Walther Neuper |
test Pure/../Basics.thy + start nbproject
decompose-isar
|
changeset |
files
|
| Thu, 29 Jul 2010 14:12:11 +0200 |
Alexandra Hirn |
complete
latex-isac-doc
|
changeset |
files
|
| Wed, 28 Jul 2010 13:26:19 +0200 |
Alexandra Hirn |
chapter 1 - 7
latex-isac-doc
|
changeset |
files
|
| Wed, 28 Jul 2010 10:01:33 +0200 |
Alexandra Hirn |
hallo
latex-isac-doc
|
changeset |
files
|
| Tue, 27 Jul 2010 09:00:45 +0200 |
Alexandra Hirn |
hg test
latex-isac-doc
|
changeset |
files
|
| Mon, 26 Jul 2010 16:44:26 +0200 |
Walther Neuper |
cleanup
isac-update-Isa09-2
|
changeset |
files
|
| Mon, 26 Jul 2010 16:19:40 +0200 |
Walther Neuper |
cleanup
isac-update-Isa09-2
|
changeset |
files
|
| Mon, 26 Jul 2010 15:27:06 +0200 |
Walther Neuper |
intermed.update scrtools.sml + added smltest/Pure/General/Basics.thy
isac-update-Isa09-2
|
changeset |
files
|