isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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.

Sun, 14 Nov 2004 01:56:58 +0100 *** empty log message ***

changeset

webertj [Sun, 14 Nov 2004 01:56:58 +0100] rev 15284

*** empty log message ***

Sun, 14 Nov 2004 01:40:27 +0100 DOCTYPE declaration added

changeset

webertj [Sun, 14 Nov 2004 01:40:27 +0100] rev 15283

DOCTYPE declaration added

Sat, 13 Nov 2004 17:30:03 +0100 Exercises added

changeset

webertj [Sat, 13 Nov 2004 17:30:03 +0100] rev 15282

Exercises added

Sat, 13 Nov 2004 07:47:34 +0100 More lemmas

changeset

nipkow [Sat, 13 Nov 2004 07:47:34 +0100] rev 15281

More lemmas

Fri, 12 Nov 2004 20:55:04 +0100 minor code refactoring

changeset

webertj [Fri, 12 Nov 2004 20:55:04 +0100] rev 15280

minor code refactoring

Fri, 12 Nov 2004 16:26:19 +0100 improved "subscribe" link

changeset

paulson [Fri, 12 Nov 2004 16:26:19 +0100] rev 15279

improved "subscribe" link

Fri, 12 Nov 2004 15:49:25 +0100 added DOCTYPE and Content-Type declarations to make this a valid HTML file

changeset

webertj [Fri, 12 Nov 2004 15:49:25 +0100] rev 15278

added DOCTYPE and Content-Type declarations to make this a valid HTML file

(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom