Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 29 Apr 2005 13:11:19 +0200 include new thms_containing
changeset
kleing [Fri, 29 Apr 2005 13:11:19 +0200] rev 15885
include new thms_containing
Fri, 29 Apr 2005 11:42:46 +0200 credits
changeset
kleing [Fri, 29 Apr 2005 11:42:46 +0200] rev 15884
credits
Fri, 29 Apr 2005 11:40:29 +0200 new thms_containing that searches for patterns instead of constants
changeset
kleing [Fri, 29 Apr 2005 11:40:29 +0200] rev 15883
new thms_containing that searches for patterns instead of constants (by Rafal Kolanski, NICTA)
Fri, 29 Apr 2005 11:22:41 +0200 new thms_containing that searches for patterns instead of constants
changeset
kleing [Fri, 29 Apr 2005 11:22:41 +0200] rev 15882
new thms_containing that searches for patterns instead of constants (by Rafal Kolanski, NICTA)
Fri, 29 Apr 2005 08:05:06 +0200 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
changeset
haftmann [Fri, 29 Apr 2005 08:05:06 +0200] rev 15881
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Fri, 29 Apr 2005 08:03:01 +0200 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
changeset
haftmann [Fri, 29 Apr 2005 08:03:01 +0200] rev 15880
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Fri, 29 Apr 2005 00:52:12 +0200 version update
changeset
kleing [Fri, 29 Apr 2005 00:52:12 +0200] rev 15879
version update
Fri, 29 Apr 2005 00:51:34 +0200 include x86_64
changeset
kleing [Fri, 29 Apr 2005 00:51:34 +0200] rev 15878
include x86_64
Thu, 28 Apr 2005 21:36:25 +0200 make symlink handling compatible with whitespaces
changeset
wenzelm [Thu, 28 Apr 2005 21:36:25 +0200] rev 15877
make symlink handling compatible with whitespaces
Thu, 28 Apr 2005 21:36:08 +0200 sane interfaces for tactical instance proofs (do not expand defs of theory, proper handling of sort instances);
changeset
wenzelm [Thu, 28 Apr 2005 21:36:08 +0200] rev 15876
sane interfaces for tactical instance proofs (do not expand defs of theory, proper handling of sort instances); keep legacy stuff separate; tuned;
Thu, 28 Apr 2005 21:35:47 +0200 added plain_prop_of;
changeset
wenzelm [Thu, 28 Apr 2005 21:35:47 +0200] rev 15875
added plain_prop_of;
Thu, 28 Apr 2005 21:35:25 +0200 added smart_conjunction_tac, prove_multi, prove_multi_standard;
changeset
wenzelm [Thu, 28 Apr 2005 21:35:25 +0200] rev 15874
added smart_conjunction_tac, prove_multi, prove_multi_standard;
Thu, 28 Apr 2005 17:57:13 +0200 auto update
changeset
paulson [Thu, 28 Apr 2005 17:57:13 +0200] rev 15873
auto update
Thu, 28 Apr 2005 17:56:58 +0200 fixed treatment of higher-order simprules
changeset
paulson [Thu, 28 Apr 2005 17:56:58 +0200] rev 15872
fixed treatment of higher-order simprules
Thu, 28 Apr 2005 17:08:08 +0200 *** empty log message ***
changeset
bauerg [Thu, 28 Apr 2005 17:08:08 +0200] rev 15871
*** empty log message ***
Thu, 28 Apr 2005 12:04:34 +0200 more on rev
changeset
kleing [Thu, 28 Apr 2005 12:04:34 +0200] rev 15870
more on rev
Thu, 28 Apr 2005 12:02:49 +0200 intersection
changeset
kleing [Thu, 28 Apr 2005 12:02:49 +0200] rev 15869
intersection
Thu, 28 Apr 2005 09:21:35 +0200 more about list_update
changeset
kleing [Thu, 28 Apr 2005 09:21:35 +0200] rev 15868
more about list_update
Thu, 28 Apr 2005 09:21:15 +0200 some more lemmas about multiset_of
changeset
kleing [Thu, 28 Apr 2005 09:21:15 +0200] rev 15867
some more lemmas about multiset_of
Thu, 28 Apr 2005 01:57:15 +0200 sped up a bit
changeset
kleing [Thu, 28 Apr 2005 01:57:15 +0200] rev 15866
sped up a bit
Wed, 27 Apr 2005 23:04:50 +0200 removed --version which is not a valid polyml flag and has no effect
changeset
gagern [Wed, 27 Apr 2005 23:04:50 +0200] rev 15865
removed --version which is not a valid polyml flag and has no effect
Wed, 27 Apr 2005 23:02:08 +0200 make symlink handling compatible with whitespaces
changeset
gagern [Wed, 27 Apr 2005 23:02:08 +0200] rev 15864
make symlink handling compatible with whitespaces
Wed, 27 Apr 2005 16:41:03 +0200 minor tidying
changeset
paulson [Wed, 27 Apr 2005 16:41:03 +0200] rev 15863
minor tidying
Wed, 27 Apr 2005 16:40:27 +0200 removed unnecessary (?) check
changeset
paulson [Wed, 27 Apr 2005 16:40:27 +0200] rev 15862
removed unnecessary (?) check
Wed, 27 Apr 2005 16:39:59 +0200 tidied
changeset
paulson [Wed, 27 Apr 2005 16:39:59 +0200] rev 15861
tidied
Wed, 27 Apr 2005 16:39:44 +0200 partial modernising of theory headers
changeset
paulson [Wed, 27 Apr 2005 16:39:44 +0200] rev 15860
partial modernising of theory headers
Wed, 27 Apr 2005 11:49:20 +0200 bug in plusinf and mininf for the oracle fixed.
changeset
chaieb [Wed, 27 Apr 2005 11:49:20 +0200] rev 15859
bug in plusinf and mininf for the oracle fixed.
Wed, 27 Apr 2005 06:03:35 +0200 reverted last change (dependencies in HOL)
changeset
kleing [Wed, 27 Apr 2005 06:03:35 +0200] rev 15858
reverted last change (dependencies in HOL)
Wed, 27 Apr 2005 00:47:38 +0200 Added binder syntax for fix
changeset
huffman [Wed, 27 Apr 2005 00:47:38 +0200] rev 15857
Added binder syntax for fix
Tue, 26 Apr 2005 20:41:37 +0200 removed -a option;
changeset
wenzelm [Tue, 26 Apr 2005 20:41:37 +0200] rev 15856
removed -a option; fixed -d option to do what -a was trying; tuned;
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle