Mercurial Mercurial > hg > isabelle-cookbook / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -50 -30 +30 +50 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 09 Nov 2011 10:16:23 +0000 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 09 Nov 2011 10:16:23 +0000] rev 490
tuned
Mon, 07 Nov 2011 16:13:26 +0000 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Nov 2011 16:13:26 +0000] rev 489
tuned
Mon, 07 Nov 2011 13:36:07 +0000 more on contexts
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Nov 2011 13:36:07 +0000] rev 488
more on contexts
Mon, 07 Nov 2011 10:49:25 +0000 more on theories
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Nov 2011 10:49:25 +0000] rev 487
more on theories
Sun, 06 Nov 2011 15:15:59 +0000 a section about theories and setups
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 06 Nov 2011 15:15:59 +0000] rev 486
a section about theories and setups
Sat, 05 Nov 2011 18:44:28 +0000 added section about testboard
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 05 Nov 2011 18:44:28 +0000] rev 485
added section about testboard
Fri, 04 Nov 2011 09:29:50 +0000 more material
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 04 Nov 2011 09:29:50 +0000] rev 484
more material
Thu, 03 Nov 2011 17:53:36 +0000 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 03 Nov 2011 17:53:36 +0000] rev 483
tuned
Wed, 02 Nov 2011 13:38:19 +0000 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 02 Nov 2011 13:38:19 +0000] rev 482
tuned
Sun, 30 Oct 2011 17:45:10 +0000 updated
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 30 Oct 2011 17:45:10 +0000] rev 481
updated
Sat, 29 Oct 2011 12:17:06 +0100 test
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 29 Oct 2011 12:17:06 +0100] rev 480
test
Sat, 29 Oct 2011 13:17:12 +0100 a few things added First_Steps
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 29 Oct 2011 13:17:12 +0100] rev 479
a few things added First_Steps
Thu, 27 Oct 2011 18:11:52 +0100 some tests
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 27 Oct 2011 18:11:52 +0100] rev 478
some tests
Wed, 26 Oct 2011 13:19:09 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 Oct 2011 13:19:09 +0100] rev 477
merged
Wed, 26 Oct 2011 13:18:51 +0100 minor things
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 Oct 2011 13:18:51 +0100] rev 476
minor things
Wed, 26 Oct 2011 12:59:44 +0100 updated to post-2011-1 Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 Oct 2011 12:59:44 +0100] rev 475
updated to post-2011-1 Isabelle
Wed, 19 Oct 2011 21:57:22 +0100 a few things updated
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 19 Oct 2011 21:57:22 +0100] rev 474
a few things updated
Mon, 17 Oct 2011 13:30:49 +0100 this version works with Isabelle2011-1
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 Oct 2011 13:30:49 +0100] rev 473
this version works with Isabelle2011-1
Sun, 31 Jul 2011 00:00:58 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 31 Jul 2011 00:00:58 +0100] rev 472
updated to new Isabelle
Tue, 28 Jun 2011 09:22:00 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 28 Jun 2011 09:22:00 +0100] rev 471
updated to new Isabelle
Tue, 28 Jun 2011 08:44:34 +0100 binding in antiquotations
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 28 Jun 2011 08:44:34 +0100] rev 470
binding in antiquotations
Tue, 21 Jun 2011 12:53:16 +0100 added an excercise originally by Jasmin Blanchette
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 21 Jun 2011 12:53:16 +0100] rev 469
added an excercise originally by Jasmin Blanchette
Mon, 20 Jun 2011 13:59:58 +0100 more polishing
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 20 Jun 2011 13:59:58 +0100] rev 468
more polishing
Mon, 20 Jun 2011 00:30:32 +0100 soem polishing
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 20 Jun 2011 00:30:32 +0100] rev 467
soem polishing
Fri, 17 Jun 2011 16:58:05 +0100 a little polishing
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 17 Jun 2011 16:58:05 +0100] rev 466
a little polishing
Tue, 14 Jun 2011 22:09:40 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 14 Jun 2011 22:09:40 +0100] rev 465
updated to new Isabelle
Tue, 17 May 2011 19:46:53 +0200 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:46:53 +0200] rev 464
updated to new Isabelle
Tue, 17 May 2011 19:25:33 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:25:33 +0200] rev 463
merged
Tue, 17 May 2011 18:11:21 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 18:11:21 +0100] rev 462
updated to new Isabelle
Tue, 19 Apr 2011 13:02:43 +0100 updated
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Apr 2011 13:02:43 +0100] rev 461
updated
(0) -300 -100 -50 -30 +30 +50 tip
isabelle-cookbook