Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 11 Sep 2012 18:39:47 +0200
added "defaults" option
changeset
blanchet [Tue, 11 Sep 2012 18:39:47 +0200] rev 49286
added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200
removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
changeset
blanchet [Tue, 11 Sep 2012 18:12:23 +0200] rev 49285
removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
Tue, 11 Sep 2012 17:36:09 +0200
spin off "bnf_def_tactics.ML"
changeset
blanchet [Tue, 11 Sep 2012 17:36:09 +0200] rev 49284
spin off "bnf_def_tactics.ML"
Tue, 11 Sep 2012 17:14:49 +0200
move "bnf_util.ML" to "BNF_Util.thy"
changeset
blanchet [Tue, 11 Sep 2012 17:14:49 +0200] rev 49283
move "bnf_util.ML" to "BNF_Util.thy"
Tue, 11 Sep 2012 17:09:39 +0200
renamed "BNF_Library" to "BNF_Util"
changeset
blanchet [Tue, 11 Sep 2012 17:09:39 +0200] rev 49282
renamed "BNF_Library" to "BNF_Util"
Tue, 11 Sep 2012 17:06:27 +0200
generate all sel theorems
changeset
blanchet [Tue, 11 Sep 2012 17:06:27 +0200] rev 49281
generate all sel theorems
Tue, 11 Sep 2012 16:08:55 +0200
allow default values for selectors in low-level "wrap_data" command
changeset
blanchet [Tue, 11 Sep 2012 16:08:55 +0200] rev 49280
allow default values for selectors in low-level "wrap_data" command
Tue, 11 Sep 2012 16:08:27 +0200
removed needless "infer_types" call
changeset
blanchet [Tue, 11 Sep 2012 16:08:27 +0200] rev 49279
removed needless "infer_types" call
Tue, 11 Sep 2012 14:51:52 +0200
added no_dests option
changeset
blanchet [Tue, 11 Sep 2012 14:51:52 +0200] rev 49278
added no_dests option
Tue, 11 Sep 2012 13:10:34 +0200
tuning
changeset
blanchet [Tue, 11 Sep 2012 13:10:34 +0200] rev 49277
tuning
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
tip