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.
proper parsing of TSTP HOL lines
19 months ago, by desharna
proper defn of a heap
19 months ago, by nipkow
merged
19 months ago, by paulson
cleanup of old proofs
19 months ago, by paulson
proper output directory (amending cc1347c8c804);
19 months ago, by wenzelm
updated to cvc4-1.8;
19 months ago, by wenzelm
clarified signature: prefer Database_Context;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned NEWS;
19 months ago, by wenzelm
removed unused material;
19 months ago, by wenzelm
more NEWS;
19 months ago, by wenzelm
NEWS;
19 months ago, by wenzelm
more interrupts;
19 months ago, by wenzelm
clarified messages;
19 months ago, by wenzelm
clarified document output;
19 months ago, by wenzelm
clarified messages;
19 months ago, by wenzelm
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more standard imports;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
generate theory HTML in Isabelle/Scala;
19 months ago, by wenzelm
merged
19 months ago, by desharna
Add support for CVC4 1.8 to Sledgehammer
19 months ago, by desharna
proper meta_digest: avoid non-portable position information;
19 months ago, by wenzelm
clarified messages;
19 months ago, by wenzelm
proper message;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
more robust library_call (again): dynamic file name, static symbol;
19 months ago, by wenzelm
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
19 months ago, by wenzelm
reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
19 months ago, by desharna
repaired thf output broken by c7e2a9bdc585
19 months ago, by desharna
renamed data type
19 months ago, by desharna
tuned terminology
19 months ago, by nipkow
merged
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
store documents within session database, instead of browser_info directory;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
more robust: ensure coherence wrt. build database;
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
more explicit presentation directory;
19 months ago, by wenzelm
more robust, e.g. for "isabelle build_doc system";
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
merged
19 months ago, by paulson
merged
19 months ago, by paulson
de-applying
19 months ago, by paulson
new theory
19 months ago, by nipkow
Tuned parentheses in TPTP output
19 months ago, by desharna
simplified/clarified persistent session information;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
refer to command_timings/last_timing via resources;
19 months ago, by wenzelm
more uniform Resources.init_session via YXML;
19 months ago, by wenzelm
proper link for Pure;
19 months ago, by wenzelm
proper link location;
19 months ago, by wenzelm
clarified access to single database server vs. collection of database files;
19 months ago, by wenzelm
merged
19 months ago, by paulson
Multiplicative_Group now required due to Algebra restructuring
19 months ago, by paulson
merged
19 months ago, by paulson
Jakub Kądziołka's stronger version of generate_pow_card (required some restructuring)
19 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip