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.
eliminated aliasing merge: now always extends;
1997-10-15, by wenzelm
tuned comment;
1997-10-15, by wenzelm
improved print_data;
1997-10-15, by wenzelm
tuned;
1997-10-15, by wenzelm
slightly changed interfaces for oracles;
1997-10-15, by wenzelm
Added ack to Mateja Jamnik.
1997-10-15, by nipkow
tuned;
1997-10-15, by wenzelm
tuned;
1997-10-14, by wenzelm
added additional generic data;
1997-10-14, by wenzelm
Sign.print_data;
1997-10-14, by wenzelm
added init_data, get_data, put_data;
1997-10-14, by wenzelm
added data.ML;
1997-10-14, by wenzelm
Arbitrarily typed data.
1997-10-14, by wenzelm
Patch to avoid simplification of ~EX to ALL~
1997-10-14, by paulson
Two lemmas are already in List.
1997-10-14, by nipkow
More lemmas, esp. ~Bex and ~Ball conversions.
1997-10-14, by nipkow
Added neagtion rules for Ball and Bex.
1997-10-14, by nipkow
tuned;
1997-10-14, by wenzelm
browser info;
1997-10-14, by wenzelm
rearranged and added TLA
1997-10-14, by paulson
fixed extern;
1997-10-13, by wenzelm
uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;
1997-10-13, by wenzelm
uses Sign.str_of_sort;
1997-10-13, by wenzelm
fixed dots;
1997-10-13, by wenzelm
print_goals: optional output of const types (set show_consts);
1997-10-13, by wenzelm
merge: drops path elements;
1997-10-13, by wenzelm
Absolute URL's for documentation
1997-10-13, by merz
non-transparent logo;
1997-10-13, by wenzelm
fixed dots;
1997-10-13, by wenzelm
hierachically structured name spaces;
1997-10-13, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip