Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 24 Sep 2012 20:22:58 +0200 Markus Kaiser added Graphview tool, based on Isabelle/Scala and Swing/Graphics2D; changeset | files
Mon, 24 Sep 2012 19:11:35 +0200 haftmann made smlnj even happier changeset | files
Mon, 24 Sep 2012 17:52:44 +0200 wenzelm tuned proofs; changeset | files
Mon, 24 Sep 2012 17:28:36 +0200 wenzelm more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker; changeset | files
Mon, 24 Sep 2012 16:41:51 +0200 wenzelm updated checksum, which appears to have changed accidentally; changeset | files
Mon, 24 Sep 2012 16:39:26 +0200 wenzelm updated to exec_process-1.0.2; changeset | files
Mon, 24 Sep 2012 16:27:48 +0200 wenzelm search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout); changeset | files
Mon, 24 Sep 2012 16:13:56 +0200 wenzelm discontinued futile attempt to hardwire build options into the image, sequential mode is enabled more robustly at runtime (cf. 3b0a60eee56e); changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle