Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 17 Sep 2011 19:44:58 +0200 tuned signature;
changeset
wenzelm [Sat, 17 Sep 2011 19:44:58 +0200] rev 44955
tuned signature;
Sat, 17 Sep 2011 19:25:14 +0200 more careful traversal of theory dependencies to retain standard import order;
changeset
wenzelm [Sat, 17 Sep 2011 19:25:14 +0200] rev 44954
more careful traversal of theory dependencies to retain standard import order;
Sat, 17 Sep 2011 17:55:39 +0200 sane default for class Thy_Load;
changeset
wenzelm [Sat, 17 Sep 2011 17:55:39 +0200] rev 44953
sane default for class Thy_Load;
Sat, 17 Sep 2011 17:05:31 +0200 removed obsolete patches for PG 4.1;
changeset
wenzelm [Sat, 17 Sep 2011 17:05:31 +0200] rev 44952
removed obsolete patches for PG 4.1;
Sat, 17 Sep 2011 16:53:01 +0200 specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
changeset
wenzelm [Sat, 17 Sep 2011 16:53:01 +0200] rev 44951
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
Sat, 17 Sep 2011 16:29:18 +0200 added "isabelle scalac" convenience;
changeset
wenzelm [Sat, 17 Sep 2011 16:29:18 +0200] rev 44950
added "isabelle scalac" convenience;
Sat, 17 Sep 2011 16:19:40 +0200 Symbol.explode as in ML;
changeset
wenzelm [Sat, 17 Sep 2011 16:19:40 +0200] rev 44949
Symbol.explode as in ML;
Sat, 17 Sep 2011 16:00:54 +0200 ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
changeset
wenzelm [Sat, 17 Sep 2011 16:00:54 +0200] rev 44948
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
Sat, 17 Sep 2011 15:08:55 +0200 dropped unused argument – avoids problem with SML/NJ
changeset
haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947
dropped unused argument – avoids problem with SML/NJ
Sat, 17 Sep 2011 00:40:27 +0200 tuned spacing
changeset
haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946
tuned spacing
Sat, 17 Sep 2011 00:37:21 +0200 tuned
changeset
haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
Sat, 17 Sep 2011 04:41:44 +0200 tuned post fixpoint setup
changeset
nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
Sat, 17 Sep 2011 03:37:14 +0200 merged
changeset
nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged
Fri, 16 Sep 2011 09:18:15 +0200 when applying induction rules, remove names of assumptions that come
changeset
nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
Fri, 16 Sep 2011 20:08:29 +0200 remove stray "using [[simp_trace]]"
changeset
noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
Fri, 16 Sep 2011 20:02:35 +0200 tune indenting
changeset
noschinl [Fri, 16 Sep 2011 20:02:35 +0200] rev 44940
tune indenting
Fri, 16 Sep 2011 12:10:43 +1000 removed unused legacy lemma names, some comment cleanup.
changeset
kleing [Fri, 16 Sep 2011 12:10:43 +1000] rev 44939
removed unused legacy lemma names, some comment cleanup.
Fri, 16 Sep 2011 12:10:15 +1000 removed word_neq_0_conv from simpset, it's almost never wanted.
changeset
kleing [Fri, 16 Sep 2011 12:10:15 +1000] rev 44938
removed word_neq_0_conv from simpset, it's almost never wanted.
Thu, 15 Sep 2011 12:40:08 -0400 removed further legacy rules from Complete_Lattices
changeset
hoelzl [Thu, 15 Sep 2011 12:40:08 -0400] rev 44937
removed further legacy rules from Complete_Lattices
Thu, 15 Sep 2011 17:06:00 +0200 NEWS on Complete_Lattices, Lattices
changeset
noschinl [Thu, 15 Sep 2011 17:06:00 +0200] rev 44936
NEWS on Complete_Lattices, Lattices
Thu, 15 Sep 2011 10:57:40 +0200 tail recursive proof preprocessing (needed for huge proofs)
changeset
blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44935
tail recursive proof preprocessing (needed for huge proofs)
Thu, 15 Sep 2011 10:57:40 +0200 tuning
changeset
blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44934
tuning
Thu, 15 Sep 2011 09:44:27 +0200 merged
changeset
nipkow [Thu, 15 Sep 2011 09:44:27 +0200] rev 44933
merged
Thu, 15 Sep 2011 09:44:08 +0200 revised AbsInt and added widening and narrowing
changeset
nipkow [Thu, 15 Sep 2011 09:44:08 +0200] rev 44932
revised AbsInt and added widening and narrowing
Wed, 14 Sep 2011 23:47:04 +0200 updated comment
changeset
haftmann [Wed, 14 Sep 2011 23:47:04 +0200] rev 44931
updated comment
Wed, 14 Sep 2011 23:46:02 +0200 updated generated code
changeset
haftmann [Wed, 14 Sep 2011 23:46:02 +0200] rev 44930
updated generated code
Tue, 13 Sep 2011 07:56:46 +0200 tuned
changeset
haftmann [Tue, 13 Sep 2011 07:56:46 +0200] rev 44929
tuned
Wed, 14 Sep 2011 10:08:52 -0400 renamed Complete_Lattices lemmas, removed legacy names
changeset
hoelzl [Wed, 14 Sep 2011 10:08:52 -0400] rev 44928
renamed Complete_Lattices lemmas, removed legacy names
Wed, 14 Sep 2011 10:55:07 +0200 merged
changeset
noschinl [Wed, 14 Sep 2011 10:55:07 +0200] rev 44927
merged
Wed, 14 Sep 2011 10:24:22 +0200 create central list for language extensions used by the haskell code generator
changeset
noschinl [Wed, 14 Sep 2011 10:24:22 +0200] rev 44926
create central list for language extensions used by the haskell code generator
Wed, 14 Sep 2011 09:46:59 +0200 observe distinction between sets and predicates
changeset
boehmes [Wed, 14 Sep 2011 09:46:59 +0200] rev 44925
observe distinction between sets and predicates
Wed, 14 Sep 2011 06:49:24 +0200 merged
changeset
nipkow [Wed, 14 Sep 2011 06:49:24 +0200] rev 44924
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle