Mercurial
Mercurial
>
repos
>
testboard
/ 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.
tuned;
18 months ago, by wenzelm
cleanup of old proofs
18 months ago, by paulson
merged
18 months ago, by paulson
new theory
18 months ago, by nipkow
merged
18 months ago, by paulson
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
de-applying
18 months ago, by paulson
merged
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
Multiplicative_Group now required due to Algebra restructuring
18 months ago, by paulson
merged
18 months ago, by paulson
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
tuned signature;
18 months ago, by wenzelm
official collection for bit projection simplifications
18 months ago, by haftmann
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
trival
18 months ago, by paulson
merged
18 months ago, by paulson
bundles for reflected term syntax
18 months ago, by haftmann
CONTRIBUTORS
18 months ago, by haftmann
type alias for mixin bundles
18 months ago, by haftmann
tuned;
18 months ago, by wenzelm
proper theory name;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
proper document_theories;
18 months ago, by wenzelm
official support for document theories from other sessions;
18 months ago, by wenzelm
more interrupts, notably for running latex;
18 months ago, by wenzelm
support for watchdog thread;
18 months ago, by wenzelm
more parallelism;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
tuned imports;
18 months ago, by wenzelm
Removed development code wrongfully committed
18 months ago, by desharna
Tuned documentation
18 months ago, by desharna
Updated ML in forgotten in previous commit
18 months ago, by desharna
Merged
18 months ago, by desharna
Expanded and tuned documentation
18 months ago, by desharna
Added support for TFX to Sledgehammer
18 months ago, by desharna
merged
18 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip