Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
3 months ago wenzelm clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed"); changeset | files
3 months ago wenzelm prefer Term.variant_bounds: bounds vs. frees, no attempt at consts; changeset | files
3 months ago wenzelm more elementary operation Term.variant_bounds: only for bounds vs. frees, no consts, no tfrees; changeset | files
3 months ago wenzelm tuned signature; changeset | files
3 months ago wenzelm clarified modules; changeset | files
3 months ago wenzelm more accurate extern_const: avoid clash with frees; changeset | files
3 months ago wenzelm more direct Proof_Context.lookup_free -- bypass redundancy of Proof_Context.check_const; changeset | files
3 months ago wenzelm clarified signature: uniform context; changeset | files
3 months ago wenzelm clarified signature: uniform context; changeset | files
3 months ago wenzelm proper context for extern operation: observe local options; changeset | files
3 months ago wenzelm proper context for extern/check operation: observe local options like names_unique; changeset | files
3 months ago wenzelm tuned; changeset | files
3 months ago wenzelm tuned signature: more operations; changeset | files
3 months ago nipkow added Halting problem theory changeset | files
3 months ago desharna merged changeset | files
17 months ago desharna added parallel_group_size option to Mirabelle changeset | files
3 months ago desharna adapted bash files to use cartouches changeset | files
3 months ago nipkow tuned changeset | files
3 months ago wenzelm clarified names context: proper context, without consts; changeset | files
3 months ago wenzelm clarified names context: proper context, without consts; changeset | files
3 months ago wenzelm tuned; changeset | files
3 months ago wenzelm tuned; changeset | files
3 months ago wenzelm clarified signature: more operations; changeset | files
3 months ago wenzelm merged changeset | files
3 months ago wenzelm clarified signature; changeset | files
3 months ago wenzelm tuned names/scopes; changeset | files
3 months ago wenzelm tuned signature: more operations; changeset | files
3 months ago wenzelm eliminate historic clone (see also 550e36c6a2d1); changeset | files
3 months ago wenzelm tuned signature: more operations; changeset | files
3 months ago wenzelm clarified 'unbundle' polarity, according to algebraic group laws; changeset | files
3 months ago wenzelm tuned signature: more operations; changeset | files
3 months ago wenzelm tuned: more direct use of Name.context operations; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 tip
isabelle