Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2005-05-23 haftmann added email changeset | files
2005-05-23 nipkow tuned trace info (depth) changeset | files
2005-05-23 nipkow simplifier trace info; Suc-intervals changeset | files
2005-05-23 haftmann some adaptions changeset | files
2005-05-22 quigley Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML. changeset | files
2005-05-22 wenzelm tuned; changeset | files
2005-05-22 wenzelm string FindTheorems.criterion; changeset | files
2005-05-22 wenzelm added read_criterion/pretty_criterion; changeset | files
2005-05-22 wenzelm added show_dummy_patterns; changeset | files
2005-05-22 wenzelm updated; changeset | files
2005-05-22 wenzelm Retrieve theorems from proof context -- improved version of changeset | files
2005-05-22 wenzelm added Pure/simplifier.ML, Pure/Isar/find_theorems.ML; changeset | files
2005-05-22 wenzelm moved everything related to thms_containing to find_theorems.ML; changeset | files
2005-05-22 wenzelm added reserved; changeset | files
2005-05-22 wenzelm added ident_with; changeset | files
2005-05-22 wenzelm fold ProofContext.declare_term; changeset | files
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle