Active Repositories
Active Repositories
Recent Activity
Recent Activity
Yesterday
Yesterday
recovered document output from 6bc199a70bf9;
makarius committed rISABELLEcb9d5af781b4: more complete report positions, notably for command 'back' (amending….
more complete report positions, notably for command 'back' (amending…
clarified command_timings protocol;
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;
clarified signature;
makarius committed rISABELLEeca176f773e0: removed pointless case: messages should always carry proper position;.
removed pointless case: messages should always carry proper position;
eliminated pointless transaction;
clarified document_output vs. progress;
clarified: more uniform;
clarified signature and database layout;
clarified messages;
unused (see ac7ae5067783, 1c451e5c145f);
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);
clarified signature;
proper output of document sources (cf. d892f6d66402);
Tue, Nov 24
Tue, Nov 24
desharna committed rISABELLE905abe2ed279: proper parsing of TSTP HOL lines.
proper parsing of TSTP HOL lines
Mon, Nov 23
Mon, Nov 23
nipkow committed rISABELLE8cb82e7f1743: proper defn of a heap.
proper defn of a heap
sorted out lemmas
Sun, Nov 22
Sun, Nov 22
paulson <lp15@cam.ac.uk> committed rISABELLE703b601d71b5: cleanup of old proofs.
cleanup of old proofs
sorted out lemmas
sorted out lemmas
Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.
updated to cvc4-1.8;
proper output directory (amending cc1347c8c804);
sorted out lemmas
Sat, Nov 21
Sat, Nov 21
clarified signature: prefer Database_Context;