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
+3000
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.
more interrupts;
21 months ago, by wenzelm
clarified messages;
21 months ago, by wenzelm
clarified document output;
21 months ago, by wenzelm
clarified messages;
21 months ago, by wenzelm
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
more standard imports;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
generate theory HTML in Isabelle/Scala;
21 months ago, by wenzelm
merged
21 months ago, by desharna
Add support for CVC4 1.8 to Sledgehammer
21 months ago, by desharna
proper meta_digest: avoid non-portable position information;
21 months ago, by wenzelm
clarified messages;
21 months ago, by wenzelm
proper message;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
more robust library_call (again): dynamic file name, static symbol;
21 months ago, by wenzelm
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
21 months ago, by wenzelm
reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
21 months ago, by desharna
repaired thf output broken by c7e2a9bdc585
21 months ago, by desharna
renamed data type
21 months ago, by desharna
tuned terminology
21 months ago, by nipkow
merged
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
store documents within session database, instead of browser_info directory;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
more robust: ensure coherence wrt. build database;
21 months ago, by wenzelm
clarified signature: more explicit types;
21 months ago, by wenzelm
more explicit presentation directory;
21 months ago, by wenzelm
more robust, e.g. for "isabelle build_doc system";
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
merged
21 months ago, by paulson
merged
21 months ago, by paulson
de-applying
21 months ago, by paulson
new theory
21 months ago, by nipkow
Tuned parentheses in TPTP output
21 months ago, by desharna
simplified/clarified persistent session information;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
refer to command_timings/last_timing via resources;
21 months ago, by wenzelm
more uniform Resources.init_session via YXML;
21 months ago, by wenzelm
proper link for Pure;
21 months ago, by wenzelm
proper link location;
21 months ago, by wenzelm
clarified access to single database server vs. collection of database files;
21 months ago, by wenzelm
merged
21 months ago, by paulson
Multiplicative_Group now required due to Algebra restructuring
21 months ago, by paulson
merged
21 months ago, by paulson
Jakub Kądziołka's stronger version of generate_pow_card (required some restructuring)
21 months ago, by paulson
de-applying and tidying
21 months ago, by paulson
clarified Resources.init_session for low-level "isabelle process";
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature: theory imports could be from other sessions;
21 months ago, by wenzelm
proper html_symbols (amending 429afd0d1a79);
21 months ago, by wenzelm
clarified signature: master_dir is just Path.current;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
21 months ago, by wenzelm
clarified document;
21 months ago, by wenzelm
refer to HTML symbols via resources;
21 months ago, by wenzelm
moved lemmas from AFP to distribution
21 months ago, by haftmann
merged
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip