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.
do not export find_thms;
2005-10-21, by wenzelm
use obsolete goals.ML here;
2005-10-21, by wenzelm
Goal.conclude;
2005-10-21, by wenzelm
moved SELECT_GOAL to goal.ML;
2005-10-21, by wenzelm
moved norm_hhf_rule, prove etc. to goal.ML;
2005-10-21, by wenzelm
added simplification tactics and rules (from meta_simplifier.ML);
2005-10-21, by wenzelm
moved various simplification tactics and rules to simplifier.ML;
2005-10-21, by wenzelm
warn_obsolete for goal commands -- danger of disrupting a local proof context;
2005-10-21, by wenzelm
renamed triv_goal to goalI, rev_triv_goal to goalD;
2005-10-21, by wenzelm
added goal.ML;
2005-10-21, by wenzelm
added goal.ML;
2005-10-21, by wenzelm
Goal.norm_hhf_rule, Goal.init;
2005-10-21, by wenzelm
avoid triv_goal and home-grown meta_allE;
2005-10-21, by wenzelm
OldGoals;
2005-10-21, by wenzelm
proper header;
2005-10-21, by wenzelm
avoid home-grown meta_allE;
2005-10-21, by wenzelm
Goal.prove;
2005-10-21, by wenzelm
avoid shortcuts from OldGoals;
2005-10-21, by wenzelm
added simplified settings for Poly/ML 4.x (commented out);
2005-10-21, by wenzelm
reverted (accidental?) change of 1.148;
2005-10-21, by wenzelm
abandoned rational number functions in favor of General/rat.ML
2005-10-21, by haftmann
introduced functions from Pure/General/rat.ML
2005-10-21, by haftmann
slight corrections
2005-10-21, by haftmann
substantially improved integration of website into distribution framework
2005-10-21, by haftmann
substantially improved integration of website into distribution framework
2005-10-21, by haftmann
substantially improved integration of website into distribution framework
2005-10-21, by haftmann
substantially improved integration of website into distribution framework
2005-10-21, by haftmann
towards an improved website/makedist integration
2005-10-21, by haftmann
towards an improved website/makedist integration
2005-10-21, by haftmann
added default distinfo.mak
2005-10-21, by haftmann
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip