Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(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.
 
2006-12-12 huffman fix assumptions on NSDERIV_quotient changeset | files
2006-12-12 huffman changed (ns)deriv to take functions of type 'a::real_normed_field => 'a changeset | files
2006-12-12 huffman generalize some theorems changeset | files
2006-12-12 huffman add type annotation changeset | files
2006-12-11 wenzelm read_xnum: return leading_zeros, radix; changeset | files
2006-12-11 wenzelm authentic syntax for Pls/Min/Bit; changeset | files
2006-12-11 wenzelm authentic syntax for Pls/Min/Bit; changeset | files
2006-12-11 wenzelm binary numerals: restricted to actual abstract syntax; changeset | files
2006-12-11 huffman Hyperreal/FrechetDeriv.thy changeset | files
2006-12-11 huffman theory of Frechet derivatives changeset | files
2006-12-11 wenzelm specials: include single quote; changeset | files
2006-12-11 wenzelm xstr: disallow backslashes; changeset | files
2006-12-11 wenzelm advanced translation functions: Proof.context; changeset | files
2006-12-11 wenzelm advanced translation functions: Proof.context; changeset | files
2006-12-11 wenzelm added improved versions of use_text/file (still inactive); changeset | files
2006-12-11 wenzelm added use_file; changeset | files
2006-12-11 wenzelm load secure.ML after symbol.ML, when default output is active; changeset | files
2006-12-11 webertj ordered lists instead of tables for resolving hyps; speedup changeset | files
2006-12-11 berghofe nominal_primrec now prints initial proof state. changeset | files
2006-12-11 berghofe Abbreviations can now be specified simultaneously changeset | files
2006-12-11 berghofe Adapted to new inductive definition package. changeset | files
2006-12-11 wenzelm added ProofGeneral settings; changeset | files
2006-12-10 wenzelm tuned comments; changeset | files
2006-12-10 wenzelm tuned; changeset | files
2006-12-10 wenzelm defs: increased entropy of mixfix handling; changeset | files
2006-12-10 wenzelm fixed term_of_list; changeset | files
2006-12-10 wenzelm Concrete syntax for hex chars and strings. changeset | files
2006-12-10 wenzelm renamed str_of_XXX to print_XXX; changeset | files
2006-12-10 wenzelm HOLogic cleanup; changeset | files
2006-12-10 wenzelm ML_Syntax.print_XXX; changeset | files
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle