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.
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
tuned signature;
18 months ago, by wenzelm
official collection for bit projection simplifications
18 months ago, by haftmann
trival
18 months ago, by paulson
merged
18 months ago, by paulson
more de-applying
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
tuned
18 months ago, by nipkow
Tuned indentation
18 months ago, by desharna
Tuned isar_step datatype
19 months ago, by desharna
Tuned isar_proofs constructions
19 months ago, by desharna
Tuned isar_proof datatype
19 months ago, by desharna
bundled syntax for state monad combinators
18 months ago, by haftmann
more interrupts;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
clarified build_doc, based on Present.build_documents;
18 months ago, by wenzelm
obsolete, build happens in clean tmp_dir;
18 months ago, by wenzelm
redundant, see prepare_dir;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
build documents in Isabelle/Scala, based on generated tex files as session exports;
18 months ago, by wenzelm
more operations;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip