Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -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.
 
2012-09-04 blanchet tuned TODO comment changeset | files
2012-09-04 blanchet allow pseudo-definition of is_Cons in terms of is_Nil (and similarly for other two-constructor datatypes) changeset | files
2012-09-04 blanchet removed oddities changeset | files
2012-09-04 blanchet allow "*" to indicate no discriminator changeset | files
2012-09-04 blanchet tuned TODOs changeset | files
2012-09-04 blanchet started work on sugared "(co)data" commands changeset | files
2012-09-04 blanchet export "wrap" function changeset | files
2012-09-04 traytel eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91) changeset | files
2012-09-04 traytel no more aliases for Local_Theory.note; use Thm.close_derivation in internal theorems; changeset | files
2012-09-03 wenzelm enable parallel terminal proofs in interaction; changeset | files
2012-09-03 wenzelm misc tuning; changeset | files
2012-09-03 wenzelm merged changeset | files
2012-09-03 traytel killed internal output changeset | files
2012-09-03 traytel generate coinductive witnesses for codatatypes changeset | files
2012-09-03 traytel generalized signature changeset | files
2012-09-03 traytel added examples for testing of coinductive witnesses changeset | files
2012-09-03 wenzelm continue with more robust dummy session after failed startup; changeset | files
2012-09-03 wenzelm prefer old startup dialog scheme (cf. 514bb82514df); changeset | files
2012-09-03 wenzelm more permissive handling of plugin startup failure; changeset | files
2012-09-03 wenzelm bypass slow check for inlined files, where it is not really required; changeset | files
2012-09-03 wenzelm more direct access to all-important chunks for text painting; changeset | files
2012-09-03 nipkow merged changeset | files
2012-09-03 nipkow added annotations after condition in if and while changeset | files
2012-09-03 wenzelm merge, resolving trivial conflict; changeset | files
2012-08-30 Christian Sternagel forgot to add lemmas changeset | files
2012-08-30 Christian Sternagel hide newly introduced constant Sublist.sub to allow for name sub in TreeFsetI changeset | files
2012-08-30 Christian Sternagel reverted (accidentally commited) changes from changeset fd4aef9bc7a9 changeset | files
2012-08-30 Christian Sternagel reverted (accidentally commited) changes from changeset fd4aef9bc7a9 changeset | files
2012-08-30 Christian Sternagel added theory instantiating type class order for list prefixes changeset | files
2012-08-30 Christian Sternagel Main is implicitly imported via Sublist changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle