name
afp-2019
description
The Archive of Formal Proofs (release branch)
owner
unknown
last change
Mon, 23 Sep 2019 14:50:18 +0100

Changes

Mon, 23 Sep 2019 14:50:18 +0100 paulson sitegen for (fixed) Linear_Programming draft default tip changeset | files
Mon, 23 Sep 2019 14:46:29 +0100 paulson merged draft changeset | files
Mon, 23 Sep 2019 14:46:17 +0100 paulson Corrected entry where typesetting works (simply through the use of old-fashioned comments) draft changeset | files
Mon, 09 Sep 2019 16:18:08 +0100 paulson New entry Linear_Programming draft changeset | files
Wed, 18 Sep 2019 15:23:28 +0200 nipkow New entry Generic_Join draft changeset | files
Thu, 12 Sep 2019 09:01:51 +1000 kleing adjust isabelle logo dimensions and URL draft changeset | files
Thu, 12 Sep 2019 08:53:00 +1000 kleing Isabelle/AFP draft changeset | files
Wed, 11 Sep 2019 06:40:13 +0200 nipkow New entry Fourier draft changeset | files
Tue, 10 Sep 2019 15:33:35 +0200 Rene Thiemann metadata and sitegen for Hybrid_Systems_VCs draft changeset | files
Tue, 10 Sep 2019 15:27:47 +0200 Rene Thiemann new entry: Hybrid_Systems_VCs draft changeset | files
...

Tags

Tue, 24 Jul 2018 17:07:03 +0200 Isabelle2018 changeset | changelog | files
Thu, 28 Sep 2017 16:47:48 +0200 Isabelle2017 changeset | changelog | files
Wed, 30 Nov 2016 11:56:54 +0100 Isabelle2016-1 changeset | changelog | files
Sat, 13 Feb 2016 22:04:06 +0000 Isabelle2016 changeset | changelog | files
Thu, 28 May 2015 10:22:08 +1000 Isabelle2015 changeset | changelog | files
Thu, 14 Aug 2014 16:31:03 +0200 Isabelle2014 changeset | changelog | files
Wed, 23 Oct 2013 16:17:07 +0200 Isabelle2013-2 changeset | changelog | files
Wed, 23 Oct 2013 16:17:07 +0200 Isabelle2013-1 changeset | changelog | files
Mon, 28 Jan 2013 21:47:41 +1100 Isabelle2013 changeset | changelog | files
Wed, 23 May 2012 18:52:14 +0200 Isabelle2012 changeset | changelog | files
...

Bookmarks

...

Branches

Mon, 23 Sep 2019 14:50:18 +0100 default changeset | changelog | files
Sun, 25 Feb 2018 12:43:02 +0100 deep_learning changeset | changelog | files
Tue, 24 May 2016 13:27:29 +0200 remove-config changeset | changelog | files
Tue, 10 May 2016 17:07:17 +0200 config changeset | changelog | files
Fri, 15 Apr 2016 12:08:25 +0200 depends-on changeset | changelog | files
Thu, 04 Feb 2016 22:30:52 +1100 prathamesh_t/roottex-edited-online-with-bitbucket-ref-1454568673402 changeset | changelog | files
Tue, 29 Jun 2010 09:57:26 +1000 HRBSlicing-changes changeset | changelog | files
Tue, 29 Jun 2010 09:55:49 +1000 Isabelle2009 changeset | changelog | files
...

mercurial