Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-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
.
The revision graph only works with JavaScript-enabled browsers.
Removal of the tactical STATE
1997-07-22, by paulson
Removal of the tactical STATE
1997-07-22, by paulson
tuned error propagation msg;
1997-07-18, by wenzelm
defs may now be conditional;
1997-07-18, by wenzelm
renamed |-> <-| <-> to Parse/PrintRule;
1997-07-18, by wenzelm
tuned warning;
1997-07-18, by wenzelm
tuned warnings;
1997-07-18, by wenzelm
considered removal of print_goals_ref;
1997-07-18, by wenzelm
defs: allow conditions;
1997-07-18, by wenzelm
tuned warning;
1997-07-18, by wenzelm
renamed |-> <-| <-> to Parse/PrintRule;
1997-07-18, by wenzelm
tuned warning;
1997-07-18, by wenzelm
tuned warning;
1997-07-18, by wenzelm
improved output channels: normal, warning, error;
1997-07-18, by wenzelm
fixed EqI meta rule;
1997-07-17, by wenzelm
changes needed for introducing fairness
1997-07-17, by mueller
changes neede for introducing fairness
1997-07-17, by mueller
changes needed for adding fairness
1997-07-17, by mueller
fixed merge of internal simprocs;
1997-07-16, by wenzelm
Changing "lost" from a parameter of protocol definitions to a constant.
1997-07-14, by paulson
Fixed delIffs to deal correctly with the D-rule
1997-07-14, by paulson
Removed redundant addsimps of Un_insert_left, which is now a default simprule
1997-07-14, by paulson
Removal of monotonicity reasoning involving "lost" and the theorem
1997-07-11, by paulson
Now uses the Notes constructor to distinguish the Client (who has chosen M)
1997-07-11, by paulson
Moved some declarations to Message from Public and Shared
1997-07-11, by paulson
Now loads theory Event, which contains common declarations
1997-07-11, by paulson
Moving common declarations and proofs from theories "Shared"
1997-07-11, by paulson
removed obsolete init_pps and init_thy_reader;
1997-07-09, by wenzelm
improved type checking errors;
1997-07-09, by wenzelm
removed init_pps;
1997-07-09, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip