Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +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.
Fri, 21 Nov 2008 15:54:53 +0100 Added a line that was missing from the definition
changeset
paulson [Fri, 21 Nov 2008 15:54:53 +0100] rev 28871
Added a line that was missing from the definition
Fri, 21 Nov 2008 14:21:42 +0100 added binary logarithm
changeset
krauss [Fri, 21 Nov 2008 14:21:42 +0100] rev 28870
added binary logarithm
Fri, 21 Nov 2008 13:17:43 +0100 Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
changeset
paulson [Fri, 21 Nov 2008 13:17:43 +0100] rev 28869
Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle