Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
 
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
Mon, 19 Jul 2010 11:55:43 +0200 haftmann Scala: subtle difference in printing strings vs. complex mixfix syntax changeset | files
Mon, 19 Jul 2010 11:55:42 +0200 haftmann check code generation for Scala changeset | files
Mon, 19 Jul 2010 11:55:42 +0200 haftmann dropped superfluous prefixes changeset | files
Mon, 19 Jul 2010 11:55:42 +0200 haftmann optional break changeset | files
Fri, 16 Jul 2010 15:55:32 +0200 haftmann consolidate const_syntax naming changeset | files
Mon, 19 Jul 2010 08:59:43 +0200 haftmann bind and then latex symbols changeset | files
Sun, 18 Jul 2010 17:56:04 +0200 wenzelm minor update of dependencies; changeset | files
Fri, 16 Jul 2010 15:28:23 +0200 haftmann corrected range chec changeset | files
Fri, 16 Jul 2010 15:28:22 +0200 haftmann first roughly working version of Imperative HOL for Scala changeset | files
Fri, 16 Jul 2010 14:11:08 +0200 haftmann tuned changeset | files
Fri, 16 Jul 2010 13:58:37 +0200 haftmann merged changeset | files
Fri, 16 Jul 2010 13:58:29 +0200 haftmann a first sketch for Imperative HOL witht Scala changeset | files
Fri, 16 Jul 2010 13:57:46 +0200 haftmann don't fail gracefully changeset | files
Fri, 16 Jul 2010 13:57:29 +0200 haftmann restored long-broken syntax sanity checks changeset | files
Fri, 16 Jul 2010 13:57:29 +0200 haftmann tuned interpunctation changeset | files
Fri, 16 Jul 2010 10:23:21 +0200 haftmann fragments of Scala changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
wneuper/isa