isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 15 Jan 2009 11:53:49 +0100 replaced command_state by edits/edit;

changeset

wenzelm [Thu, 15 Jan 2009 11:53:49 +0100] rev 29488

replaced command_state by edits/edit;

Thu, 15 Jan 2009 00:48:45 +0100 removed junk;

changeset

wenzelm [Thu, 15 Jan 2009 00:48:45 +0100] rev 29487

removed junk;

Thu, 15 Jan 2009 00:44:19 +0100 merged

changeset

wenzelm [Thu, 15 Jan 2009 00:44:19 +0100] rev 29486

merged

Wed, 14 Jan 2009 13:47:14 -0800 one more [code del] declaration

changeset

huffman [Wed, 14 Jan 2009 13:47:14 -0800] rev 29485

one more [code del] declaration

Thu, 15 Jan 2009 00:44:06 +0100 misc cleanup and simplification;

changeset

wenzelm [Thu, 15 Jan 2009 00:44:06 +0100] rev 29484

misc cleanup and simplification;

Thu, 15 Jan 2009 00:41:53 +0100 added run_command (from isar_document.ML);

changeset

wenzelm [Thu, 15 Jan 2009 00:41:53 +0100] rev 29483

added run_command (from isar_document.ML); tuned;

Thu, 15 Jan 2009 00:41:24 +0100 added command_state markup;

changeset

wenzelm [Thu, 15 Jan 2009 00:41:24 +0100] rev 29482

added command_state markup;

Wed, 14 Jan 2009 19:38:55 +0100 tuned ASCII art;

changeset

wenzelm [Wed, 14 Jan 2009 19:38:55 +0100] rev 29481

tuned ASCII art;

Tue, 13 Jan 2009 15:33:30 -0800 declare pCons_0_0 [code post]

changeset

huffman [Tue, 13 Jan 2009 15:33:30 -0800] rev 29480

declare pCons_0_0 [code post]

Tue, 13 Jan 2009 14:08:24 -0800 merged

changeset

huffman [Tue, 13 Jan 2009 14:08:24 -0800] rev 29479

merged

Tue, 13 Jan 2009 13:48:21 -0800 code generation for polynomials

changeset

huffman [Tue, 13 Jan 2009 13:48:21 -0800] rev 29478

code generation for polynomials

Tue, 13 Jan 2009 22:25:04 +0100 merged

changeset

wenzelm [Tue, 13 Jan 2009 22:25:04 +0100] rev 29477

merged

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

isabelle

RSS Atom