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
 
Mon, 07 Jun 2010 21:48:24 +0200 wenzelm Added tag isa2009-2-test2 for changeset dfca6c4cd1e8 changeset | files
Mon, 07 Jun 2010 19:21:00 +0200 wenzelm more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros; isa2009-2-test2 changeset | files
Mon, 07 Jun 2010 18:09:18 +0200 wenzelm merged; changeset | files
Mon, 07 Jun 2010 17:53:02 +0200 berghofe Tuned. changeset | files
Mon, 07 Jun 2010 17:52:30 +0200 berghofe Documented changes in induct, cases, and nominal_induct method. changeset | files
Mon, 07 Jun 2010 17:51:26 +0200 wenzelm merged changeset | files
Mon, 07 Jun 2010 17:50:57 +0200 wenzelm proper target directory; changeset | files
Mon, 07 Jun 2010 17:50:40 +0200 wenzelm refer to isabelle-release branch; changeset | files
Mon, 21 Jun 2010 16:59:37 +0200 blanchet make Nitpick's unsound mode a bit more unsound changeset | files
Mon, 21 Jun 2010 14:07:00 +0200 blanchet sort cases on the proper key changeset | files
Mon, 21 Jun 2010 13:35:10 +0200 blanchet compile changeset | files
Mon, 21 Jun 2010 12:33:43 +0200 blanchet thread "full_types" changeset | files
Mon, 21 Jun 2010 12:31:41 +0200 blanchet try to improve Sledgehammer/Metis's behavior in full_types mode, e.g. by handing True, False, and If better changeset | files
Mon, 21 Jun 2010 12:28:46 +0200 blanchet clean up after fcc768dc9dd0 changeset | files
Mon, 21 Jun 2010 11:16:00 +0200 blanchet adjusted Nitpick examples to latest changes + make them slightly faster changeset | files
Mon, 21 Jun 2010 11:15:21 +0200 blanchet optimized code generated for datatype cases + more; changeset | files
Mon, 21 Jun 2010 09:38:20 +0200 haftmann activated Scala code generator test changeset | files
Mon, 21 Jun 2010 09:38:20 +0200 haftmann added bot instances; tuned changeset | files
Mon, 21 Jun 2010 09:06:14 +0200 haftmann extensionality rule fset_eqI changeset | files
Sun, 20 Jun 2010 22:01:22 +0200 haftmann merged changeset | files
Sun, 20 Jun 2010 19:02:41 +0200 haftmann separate section for diagnostic commands changeset | files
Sat, 19 Jun 2010 09:50:30 +0200 haftmann more binding; avoid arcane Rep and Abs prefixes changeset | files
Sat, 19 Jun 2010 09:14:06 +0200 haftmann cleanup of typecopy package changeset | files
Sat, 19 Jun 2010 06:43:33 +0200 haftmann quickcheck for fsets changeset | files
Fri, 18 Jun 2010 22:41:16 +0200 nipkow merged changeset | files
Fri, 18 Jun 2010 22:40:58 +0200 nipkow added pigeonhole lemmas changeset | files
Fri, 18 Jun 2010 21:22:05 +0200 haftmann merged changeset | files
Fri, 18 Jun 2010 15:59:51 +0200 haftmann tuned whitespace; dropped dead code changeset | files
Fri, 18 Jun 2010 15:26:04 +0200 haftmann code_simp: only succeed on real progress changeset | files
Fri, 18 Jun 2010 15:26:02 +0200 haftmann prefer fold over foldl changeset | files
Fri, 18 Jun 2010 15:03:21 +0200 haftmann conclude simplification with default simpset changeset | files
Fri, 18 Jun 2010 15:03:21 +0200 haftmann drop subsumed default equations (requires a little bit unfortunate laziness) changeset | files
Fri, 18 Jun 2010 15:03:20 +0200 haftmann avoid Scala legacy operations changeset | files
Fri, 18 Jun 2010 15:03:20 +0200 haftmann prefer fold over foldl changeset | files
Fri, 18 Jun 2010 09:21:41 +0200 haftmann made List.thy a join point in the theory graph changeset | files
Fri, 18 Jun 2010 20:22:06 +0200 nipkow tuned set_replicate lemmas changeset | files
Fri, 18 Jun 2010 14:14:42 +0200 nipkow merged changeset | files
Fri, 18 Jun 2010 14:14:29 +0200 nipkow added lemmas changeset | files
Fri, 18 Jun 2010 09:04:00 +0200 haftmann dropped dead code changeset | files
Thu, 17 Jun 2010 19:32:05 +0200 haftmann replaced unreliable metis proof changeset | files
Thu, 17 Jun 2010 16:15:15 +0200 haftmann rev is reverse in Haskell changeset | files
Thu, 17 Jun 2010 15:59:48 +0200 haftmann first serious draft of a scala code generator changeset | files
Thu, 17 Jun 2010 15:59:47 +0200 haftmann more precise code changeset | files
Thu, 17 Jun 2010 15:59:46 +0200 haftmann explicit type variable arguments for constructors changeset | files
Thu, 17 Jun 2010 11:33:04 +0200 haftmann transitive superclasses were also only a misunderstanding changeset | files
Thu, 17 Jun 2010 10:57:00 +0200 haftmann formal introduction of transitive superclasses changeset | files
Thu, 17 Jun 2010 10:51:38 +0200 haftmann dropped obscure type argument weakening mapping -- was only a misunderstanding changeset | files
Thu, 17 Jun 2010 10:45:10 +0200 haftmann added simp evaluator changeset | files
Thu, 17 Jun 2010 10:02:29 +0200 haftmann merged changeset | files
Tue, 15 Jun 2010 14:28:22 +0200 haftmann added code_simp infrastructure changeset | files
Tue, 15 Jun 2010 14:28:08 +0200 haftmann tuned whitespace changeset | files
Tue, 15 Jun 2010 11:38:40 +0200 haftmann maintain cong rules for case combinators; more precise permissiveness changeset | files
Tue, 15 Jun 2010 11:38:40 +0200 haftmann drop function definitions of combinators changeset | files
Tue, 15 Jun 2010 11:38:39 +0200 haftmann maintain cong rules for case combinators changeset | files
Tue, 15 Jun 2010 08:32:32 +0200 haftmann formal introduction of case cong changeset | files
Tue, 15 Jun 2010 16:42:09 +0200 blanchet found missing beta-eta-contraction changeset | files
Tue, 15 Jun 2010 16:20:23 +0200 blanchet added missing Umlaut changeset | files
Tue, 15 Jun 2010 10:47:06 +0200 blanchet make example run a bit faster (might help atbroy102) changeset | files
Tue, 15 Jun 2010 07:42:48 +0200 haftmann merged changeset | files
Tue, 15 Jun 2010 07:41:37 +0200 haftmann tuned documents changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
wneuper/isa