Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +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.
Wed, 17 Nov 2004 07:35:14 +0100 removed exercised document
changeset
kleing [Wed, 17 Nov 2004 07:35:14 +0100] rev 15290
removed exercised document
Tue, 16 Nov 2004 20:20:14 +0100 Markup obtain as introducing a nested goal.
changeset
aspinall [Tue, 16 Nov 2004 20:20:14 +0100] rev 15289
Markup obtain as introducing a nested goal.
Mon, 15 Nov 2004 18:21:34 +0100 removed a "clone" (duplicate code)
changeset
paulson [Mon, 15 Nov 2004 18:21:34 +0100] rev 15288
removed a "clone" (duplicate code)
Mon, 15 Nov 2004 17:04:11 +0100 minor rewording
changeset
webertj [Mon, 15 Nov 2004 17:04:11 +0100] rev 15287
minor rewording
Mon, 15 Nov 2004 13:51:43 +0100 Add <undoitem> for theory-state undos.
changeset
aspinall [Mon, 15 Nov 2004 13:51:43 +0100] rev 15286
Add <undoitem> for theory-state undos.
Mon, 15 Nov 2004 12:13:14 +0100 Renamed some variables to eliminate conflicts with constants.
changeset
paulson [Mon, 15 Nov 2004 12:13:14 +0100] rev 15285
Renamed some variables to eliminate conflicts with constants. Introduced some abbreviations (following TPTP axiom sets) to reduce the amount of repetition. Uncommented some examples, which increases the runtime somewhat.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle