| 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
|
| Mon, 26 Jul 2010 14:46:45 +0200 |
Alexandra Hirn |
translation until chapter 6
latex-isac-doc
|
changeset |
files
|
| Fri, 23 Jul 2010 11:40:26 +0200 |
Walther Neuper |
made visible default branch isac-from-Isabelle2009-2
isac-from-Isabelle2009-2
|
changeset |
files
|
| Fri, 23 Jul 2010 11:17:26 +0200 |
Walther Neuper |
1st update in decompose-isar
decompose-isar
|
changeset |
files
|
| Fri, 23 Jul 2010 10:38:58 +0200 |
Walther Neuper |
updated ListG.thy on isac-from-Isabelle2009-2
isac-update-Isa09-2
|
changeset |
files
|
| Fri, 23 Jul 2010 10:34:42 +0200 |
Walther Neuper |
start branch decompose-isar
decompose-isar
|
changeset |
files
|
| Fri, 23 Jul 2010 11:45:15 +0200 |
ahirn |
started branch latex-isac-doc by alexandra & eva
latex-isac-doc
|
changeset |
files
|
| Fri, 23 Jul 2010 09:17:03 +0200 |
Walther Neuper |
isac intermediate: until Script/Script.thy
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 22 Jul 2010 14:02:52 +0200 |
Walther Neuper |
updates from Isabelle2009-1 to -2
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 22 Jul 2010 10:45:18 +0200 |
Walther Neuper |
merged
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 22 Jul 2010 10:44:58 +0200 |
Walther Neuper |
comments on how to clone repository
isac-from-Isabelle2009-2
|
changeset |
files
|
| Thu, 22 Jul 2010 10:40:19 +0200 |
erott |
added isac documentation, part one
isac-from-Isabelle2009-2
|
changeset |
files
|
| Wed, 21 Jul 2010 13:53:39 +0200 |
Walther Neuper |
added isac-hook in Pure/thm and isac-code
isac-from-Isabelle2009-2
|
changeset |
files
|
| Wed, 21 Jul 2010 09:59:35 +0200 |
Walther Neuper |
created branch isac-from-Isabelle2009-2
isac-from-Isabelle2009-2
|
changeset |
files
|
| Tue, 20 Jul 2010 14:08:47 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 20 Jul 2010 14:01:06 +0200 |
haftmann |
accomodate for scope of "as" binding in ML
|
changeset |
files
|
| Tue, 20 Jul 2010 10:24:18 +0200 |
haftmann |
tuned code
|
changeset |
files
|
| Tue, 20 Jul 2010 08:54:21 +0200 |
haftmann |
datatype classes are abstract
|
changeset |
files
|
| Tue, 20 Jul 2010 08:54:21 +0200 |
haftmann |
avoid deprecation
|
changeset |
files
|
| Tue, 20 Jul 2010 06:35:29 +0200 |
haftmann |
robustified metis proof
|
changeset |
files
|
| Mon, 19 Jul 2010 20:23:52 +0200 |
haftmann |
modernized abel_cancel simproc setup
|
changeset |
files
|
| Mon, 19 Jul 2010 20:23:49 +0200 |
haftmann |
keep explicit diff_def as legacy theorem; modernized abel_cancel simproc setup
|
changeset |
files
|
| Mon, 19 Jul 2010 20:19:03 +0200 |
haftmann |
diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:44 +0200 |
haftmann |
diff_minus subsumes diff_def
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:44 +0200 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:43 +0200 |
haftmann |
dropped essentially ineffective tuning
|
changeset |
files
|
| Mon, 19 Jul 2010 16:09:43 +0200 |
haftmann |
discontinued pretending that abel_cancel is logic-independent; cleaned up junk
|
changeset |
files
|
| Mon, 19 Jul 2010 12:17:38 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 19 Jul 2010 12:17:30 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 19 Jul 2010 11:55:44 +0200 |
haftmann |
distinguish different classes of const syntax
|
changeset |
files
|