Page MenuHomeIsabelle/Phabricator

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLEd76b0f29c8fd: recovered document output from 6bc199a70bf9;.
recovered document output from 6bc199a70bf9;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEfabd29c73098: merged.
merged
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEcb9d5af781b4: more complete report positions, notably for command 'back' (amending….
more complete report positions, notably for command 'back' (amending…
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE9e89c2e15d36: clarified command_timings protocol;.
clarified command_timings protocol;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE6bc199a70bf9: more robust: include reports from Thy_Output.present_thy/output_document;.
more robust: include reports from Thy_Output.present_thy/output_document;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0cc96d337e8f: tuned signature;.
tuned signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEf1380c9f3806: clarified signature;.
clarified signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEe700e830562e: tuned;.
tuned;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE52d0b5fcb19d: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE79a19657c170: clarified names;.
clarified names;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEeca176f773e0: removed pointless case: messages should always carry proper position;.
removed pointless case: messages should always carry proper position;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0471eb6a4b99: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE1c42ac589fa0: eliminated pointless transaction;.
eliminated pointless transaction;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEc6981f55e60d: tuned signature;.
tuned signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEed59a506998f: clarified document_output vs. progress;.
clarified document_output vs. progress;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE6f83f7892317: clarified: more uniform;.
clarified: more uniform;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE7af210f1f13b: clarified signature and database layout;.
clarified signature and database layout;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEe16f85e3c288: more robust;.
more robust;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE45cd55248ffd: clarified messages;.
clarified messages;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0116e487e4fe: unused (see ac7ae5067783, 1c451e5c145f);.
unused (see ac7ae5067783, 1c451e5c145f);
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE22aeec526ffd: support for PIDE markup in batch build (inactive due to pide_reports=false);.
support for PIDE markup in batch build (inactive due to pide_reports=false);
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0201ae367518: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE2126cf946086: clarified signature;.
clarified signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE53064415757a: proper output of document sources (cf. d892f6d66402);.
proper output of document sources (cf. d892f6d66402);
Wed, Nov 25, 9:41 PM

Tue, Nov 24

desharna committed rISABELLE905abe2ed279: proper parsing of TSTP HOL lines.
proper parsing of TSTP HOL lines
Tue, Nov 24, 9:30 PM

Mon, Nov 23

nipkow committed rISABELLE8cb82e7f1743: proper defn of a heap.
proper defn of a heap
Mon, Nov 23, 9:12 PM
nipkow committed rAFPa9526e233fe2: use new Heaps.thy.
use new Heaps.thy
Mon, Nov 23, 9:12 PM
florian.haftmann committed rAFP348d64d3a54d: sorted out lemmas.
sorted out lemmas
Mon, Nov 23, 3:40 PM

Sun, Nov 22

paulson committed rISABELLE8e5428ff35af: merged.
merged
Sun, Nov 22, 9:50 PM
paulson <lp15@cam.ac.uk> committed rISABELLE703b601d71b5: cleanup of old proofs.
cleanup of old proofs
Sun, Nov 22, 9:50 PM
florian.haftmann committed rAFP5ded4ffd242b: sorted out lemmas.
sorted out lemmas
Sun, Nov 22, 6:06 PM
florian.haftmann committed rAFP38e989792057: sorted out lemmas.
sorted out lemmas
Sun, Nov 22, 6:06 PM
makarius closed T28: Update component for CVC4 as Resolved.

Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.

Sun, Nov 22, 1:45 PM · provers, isabelle-release
makarius committed rISABELLEdcc0022f0179: updated to cvc4-1.8;.
updated to cvc4-1.8;
Sun, Nov 22, 1:38 PM
makarius committed rISABELLEa7877e14e7f8: proper output directory (amending cc1347c8c804);.
proper output directory (amending cc1347c8c804);
Sun, Nov 22, 1:38 PM
florian.haftmann committed rAFPc7ce9d354883: sorted out lemmas.
sorted out lemmas
Sun, Nov 22, 7:40 AM

Sat, Nov 21

makarius committed rISABELLEb5e6f0d137a7: clarified signature: prefer Database_Context;.
clarified signature: prefer Database_Context;
Sat, Nov 21, 9:12 PM
makarius committed rISABELLEe0443773ef1a: clarified modules;.
clarified modules;
Sat, Nov 21, 9:12 PM
makarius created Blog Post: PDF/HTML presentation in Isabelle/Scala, based on session build database.
Sat, Nov 21, 7:49 PM
makarius committed rISABELLE035b8054013a: tuned NEWS;.
tuned NEWS;
Sat, Nov 21, 7:48 PM