Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
removed pointless case: messages should always carry proper position;
18 months ago, by wenzelm
clarified names;
18 months ago, by wenzelm
eliminated pointless transaction;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified document_output vs. progress;
18 months ago, by wenzelm
clarified: more uniform;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
clarified signature and database layout;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
unused (see ac7ae5067783, 1c451e5c145f);
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
support for PIDE markup in batch build (inactive due to pide_reports=false);
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
proper output of document sources (cf. d892f6d66402);
18 months ago, by wenzelm
proper parsing of TSTP HOL lines
18 months ago, by desharna
proper defn of a heap
18 months ago, by nipkow
merged
18 months ago, by paulson
cleanup of old proofs
18 months ago, by paulson
proper output directory (amending cc1347c8c804);
18 months ago, by wenzelm
updated to cvc4-1.8;
18 months ago, by wenzelm
clarified signature: prefer Database_Context;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
tuned NEWS;
18 months ago, by wenzelm
removed unused material;
18 months ago, by wenzelm
more NEWS;
18 months ago, by wenzelm
NEWS;
18 months ago, by wenzelm
more interrupts;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
clarified document output;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more standard imports;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
generate theory HTML in Isabelle/Scala;
18 months ago, by wenzelm
merged
18 months ago, by desharna
Add support for CVC4 1.8 to Sledgehammer
18 months ago, by desharna
proper meta_digest: avoid non-portable position information;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
proper message;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
more robust library_call (again): dynamic file name, static symbol;
18 months ago, by wenzelm
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
18 months ago, by wenzelm
reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
18 months ago, by desharna
repaired thf output broken by c7e2a9bdc585
18 months ago, by desharna
renamed data type
18 months ago, by desharna
tuned terminology
18 months ago, by nipkow
merged
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
store documents within session database, instead of browser_info directory;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
more robust: ensure coherence wrt. build database;
18 months ago, by wenzelm
clarified signature: more explicit types;
18 months ago, by wenzelm
more explicit presentation directory;
18 months ago, by wenzelm
more robust, e.g. for "isabelle build_doc system";
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
merged
18 months ago, by paulson
merged
18 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip