Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (6)

Low (5)

Wishlist (4)

Active Repositories
View All

Recent Activity
View All

Yesterday

makarius committed rISABELLEaa532cf1c894: tuned: more standard order;.
tuned: more standard order;
Fri, Sep 22, 7:00 PM
makarius committed rISABELLEcde40295ffd6: clarified signature;.
clarified signature;
Fri, Sep 22, 7:00 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb5a552d12e9b: sitegen.
sitegen
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP068d4f8c4523: adjust Euler_Polyhedron_Formula to AFP-devel.
adjust Euler_Polyhedron_Formula to AFP-devel
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc984814c0dae: merge from AFP 2023.
merge from AFP 2023
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2fae9e7720c8: metadata for Lovasz_Local and Hypergraph_Basics.
metadata for Lovasz_Local and Hypergraph_Basics
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd13e89c64991: corrected metadata: doi -> acm identifier.
corrected metadata: doi -> acm identifier
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP0470f69fa3eb: new entry: Lovasz_Local.
new entry: Lovasz_Local
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPaf121f50106a: metadata and sitegen for Euler Polyhedron Formula.
metadata and sitegen for Euler Polyhedron Formula
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP334cb365ebec: new entry: Hypergraphs.
new entry: Hypergraphs
Fri, Sep 22, 2:32 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2933efae0884: new entry: Euler's Polyhedron Formula.
new entry: Euler's Polyhedron Formula
Fri, Sep 22, 2:32 PM
makarius committed rISABELLE46891e209d72: proper fontenc for cartouches (amending d052d61da398);.
proper fontenc for cartouches (amending d052d61da398);
Fri, Sep 22, 12:16 AM

Thu, Sep 21

makarius committed rISABELLE38fe769658be: clarified modules;.
clarified modules;
Thu, Sep 21, 11:54 PM
makarius committed rISABELLEdc7455787a8e: clarified modules;.
clarified modules;
Thu, Sep 21, 11:54 PM
makarius committed rISABELLE61a6b4b81d6e: clarified signature;.
clarified signature;
Thu, Sep 21, 11:54 PM
makarius committed rISABELLE1b9e0f74addb: more robust: prefer linear data flow;.
more robust: prefer linear data flow;
Thu, Sep 21, 11:54 PM
makarius committed rISABELLE5b2391321bab: tuned;.
tuned;
Thu, Sep 21, 11:54 PM

Wed, Sep 20

desharna committed rISABELLEa98e0a816d28: added first proof reconstruction test for Sledgehammer.
added first proof reconstruction test for Sledgehammer
Wed, Sep 20, 6:06 PM

Tue, Sep 19

makarius committed rISABELLEf0a4ad78c0f2: tuned;.
tuned;
Tue, Sep 19, 8:46 PM
makarius committed rISABELLE88f47c70187a: clarified signature;.
clarified signature;
Tue, Sep 19, 8:46 PM
makarius committed rISABELLE90b12b919b5f: clarified signature (again): follow Isabelle/Java/Scala;.
clarified signature (again): follow Isabelle/Java/Scala;
Tue, Sep 19, 8:46 PM
makarius committed rISABELLEfcdfd3251892: tuned (following 69c6d3e87660);.
tuned (following 69c6d3e87660);
Tue, Sep 19, 8:46 PM
makarius committed rISABELLE66e7a3131fe3: tuned --- avoid pointless indirection (see also a2df9de46060);.
tuned --- avoid pointless indirection (see also a2df9de46060);
Tue, Sep 19, 8:46 PM

Mon, Sep 18

dcjm committed rPOLYML90c0dbb2514e: Rebuild configure files after version update. Remove some macros from… (authored by dcjm).
Rebuild configure files after version update. Remove some macros from…
Mon, Sep 18, 2:01 PM
dcjm committed rPOLYMLab0a8c56fe6d: Update version numbers for release. (authored by dcjm).
Update version numbers for release.
Mon, Sep 18, 2:01 PM

Sun, Sep 17

paulson <lp15@cam.ac.uk> committed rISABELLEf8595f6d39a5: (pointlessly) get rid of some simp calls within "proof".
(pointlessly) get rid of some simp calls within "proof"
Sun, Sep 17, 7:57 PM

Sat, Sep 16

florian.haftmann committed rAFPfc96173189a3: reduced prominence of lemma names.
reduced prominence of lemma names
Sat, Sep 16, 3:38 PM
florian.haftmann committed rISABELLE18ea58bdcf77: reduced prominence of lemma names.
reduced prominence of lemma names
Sat, Sep 16, 3:36 PM
florian.haftmann committed rISABELLEd52934f126d4: new formulation of an auxiliary lemma.
new formulation of an auxiliary lemma
Sat, Sep 16, 3:36 PM

Fri, Sep 15

paulson <lp15@cam.ac.uk> committed rISABELLEd900ff3f314a: A few more inclusion-exclusion theorems from HOL Light.
A few more inclusion-exclusion theorems from HOL Light
Fri, Sep 15, 9:48 PM

Thu, Sep 14

florian.haftmann committed rISABELLE2ca78c955c97: Corrected type calculation..
Corrected type calculation.
Thu, Sep 14, 1:35 PM
kleing committed rAFP6f60de9ffc2a: regen website.
regen website
Thu, Sep 14, 9:58 AM
kleing committed rAFPd57b427b0d34: merge from afp-2023.
merge from afp-2023
Thu, Sep 14, 9:58 AM
kleing committed rAFPe41c51a955d0: sync web abstract.
sync web abstract
Thu, Sep 14, 9:58 AM
Fabian Huch <huch@in.tum.de> committed rAFP6a4e531c5c65: adapted ROOT file link to afp-2023;.
adapted ROOT file link to afp-2023;
Thu, Sep 14, 9:58 AM
florian.haftmann committed rISABELLEb0ddfa5b9ddc: some hints on managed installations.
some hints on managed installations
Thu, Sep 14, 7:24 AM
florian.haftmann committed rISABELLEd052d61da398: prefer cartouches over quotes for clarity of resulting document.
prefer cartouches over quotes for clarity of resulting document
Thu, Sep 14, 7:24 AM

Wed, Sep 13

kleing committed rAFPa09703ee2292: web: 2023 downlaod links.
web: 2023 downlaod links
Wed, Sep 13, 4:21 PM
kleing committed rAFP20d6a62d7fad: merge from afp-2023.
merge from afp-2023
Wed, Sep 13, 4:21 PM
kleing committed rAFP95e737921cf8: website regen.
website regen
Wed, Sep 13, 4:21 PM