isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 15 Jul 2001 14:47:28 +0200 tuned;

changeset

wenzelm [Sun, 15 Jul 2001 14:47:28 +0200] rev 11425

tuned;

Fri, 13 Jul 2001 18:28:46 +0200 working

changeset

paulson [Fri, 13 Jul 2001 18:28:46 +0200] rev 11424

working

Fri, 13 Jul 2001 18:22:13 +0200 oops

changeset

paulson [Fri, 13 Jul 2001 18:22:13 +0200] rev 11423

oops

Fri, 13 Jul 2001 18:20:26 +0200 fixed bad error in tdxbold; also removed default indexing in \\rulename

changeset

paulson [Fri, 13 Jul 2001 18:20:26 +0200] rev 11422

fixed bad error in tdxbold; also removed default indexing in \\rulename

Fri, 13 Jul 2001 18:19:29 +0200 tweaks

changeset

paulson [Fri, 13 Jul 2001 18:19:29 +0200] rev 11421

tweaks

Fri, 13 Jul 2001 18:08:26 +0200 added\\protect

changeset

paulson [Fri, 13 Jul 2001 18:08:26 +0200] rev 11420

added\\protect

Fri, 13 Jul 2001 18:07:01 +0200 more indexing

changeset

paulson [Fri, 13 Jul 2001 18:07:01 +0200] rev 11419

more indexing

Fri, 13 Jul 2001 17:58:39 +0200 indexing tweaks

changeset

paulson [Fri, 13 Jul 2001 17:58:39 +0200] rev 11418

indexing tweaks

Fri, 13 Jul 2001 17:56:05 +0200 less indexing of theorem names

changeset

paulson [Fri, 13 Jul 2001 17:56:05 +0200] rev 11417

less indexing of theorem names

Fri, 13 Jul 2001 17:55:35 +0200 indexing

changeset

paulson [Fri, 13 Jul 2001 17:55:35 +0200] rev 11416

indexing

Fri, 13 Jul 2001 13:58:41 +0200 contrapos_pn

changeset

paulson [Fri, 13 Jul 2001 13:58:41 +0200] rev 11415

contrapos_pn

Fri, 13 Jul 2001 11:31:05 +0200 index file

changeset

paulson [Fri, 13 Jul 2001 11:31:05 +0200] rev 11414

index file

Thu, 12 Jul 2001 17:36:14 +0200 removed a4paper

changeset

paulson [Thu, 12 Jul 2001 17:36:14 +0200] rev 11413

removed a4paper

Thu, 12 Jul 2001 16:36:26 +0200 more in the Springer style

changeset

paulson [Thu, 12 Jul 2001 16:36:26 +0200] rev 11412