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.
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
de-applying
18 months ago, by paulson
new theory
18 months ago, by nipkow
Tuned parentheses in TPTP output
18 months ago, by desharna
simplified/clarified persistent session information;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
refer to command_timings/last_timing via resources;
18 months ago, by wenzelm
more uniform Resources.init_session via YXML;
18 months ago, by wenzelm
proper link for Pure;
18 months ago, by wenzelm
proper link location;
18 months ago, by wenzelm
clarified access to single database server vs. collection of database files;
18 months ago, by wenzelm
merged
18 months ago, by paulson
Multiplicative_Group now required due to Algebra restructuring
18 months ago, by paulson
merged
18 months ago, by paulson
Jakub Kądziołka's stronger version of generate_pow_card (required some restructuring)
18 months ago, by paulson
de-applying and tidying
18 months ago, by paulson
clarified Resources.init_session for low-level "isabelle process";
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature: theory imports could be from other sessions;
18 months ago, by wenzelm
proper html_symbols (amending 429afd0d1a79);
18 months ago, by wenzelm
clarified signature: master_dir is just Path.current;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
18 months ago, by wenzelm
clarified document;
18 months ago, by wenzelm
refer to HTML symbols via resources;
18 months ago, by wenzelm
moved lemmas from AFP to distribution
18 months ago, by haftmann
merged
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
refer to session structure from resources;
18 months ago, by wenzelm
more scalable: avoid large strings on command-line;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified bibtex_entries: refer to overall session structure;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip