Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(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
.
The revision graph only works with JavaScript-enabled browsers.
* clasimp: ``iff'' declarations now handle conditional rules as well;
2001-10-24, by wenzelm
added string_of_mixfix;
2001-10-24, by wenzelm
print_depth 8 from the very beginning;
2001-10-24, by wenzelm
added export_assume, export_presume, export_def (from proof.ML);
2001-10-23, by wenzelm
moved RANGE to tctical.ML;
2001-10-23, by wenzelm
added RANGE (from Isar/proof.ML);
2001-10-23, by wenzelm
print fixed names as plain strings;
2001-10-23, by wenzelm
eliminated old numerals;
2001-10-23, by wenzelm
use generic 1 instead of Numeral1;
2001-10-23, by wenzelm
eliminated Numeral0;
2001-10-23, by wenzelm
build option enables most basic browser info (for proper recording of session);
2001-10-23, by wenzelm
build option;
2001-10-23, by wenzelm
tuned;
2001-10-23, by wenzelm
eliminated old numerals;
2001-10-23, by wenzelm
pass build mode to process;
2001-10-23, by wenzelm
removed export_thm;
2001-10-23, by wenzelm
trace_rules: only non-empty;
2001-10-23, by wenzelm
removed obsolete "exported" att;
2001-10-23, by wenzelm
replace_dummy_patterns: lift over bounds;
2001-10-23, by wenzelm
iff: always rotate prems;
2001-10-23, by wenzelm
apply(simp add: three_def numerals) (* FIXME !? *);
2001-10-23, by wenzelm
unset DISPLAY (again);
2001-10-23, by wenzelm
* Pure: removed obsolete 'exported' attribute;
2001-10-23, by wenzelm
*** empty log message ***
2001-10-22, by wenzelm
moved object_logic.ML to Isar/object_logic.ML;
2001-10-22, by wenzelm
moved locale.ML to Isar/locale.ML;
2001-10-22, by wenzelm
moved goal related stuff to goals.ML;
2001-10-22, by wenzelm
Display.current_goals_markers;
2001-10-22, by wenzelm
tuned;
2001-10-22, by wenzelm
moved prove_goalw_cterm to goals.ML;
2001-10-22, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip