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.
clarified Latex markup: optional cite "location" consists of nested document text;
15 months ago, by wenzelm
more explicit latex markup;
15 months ago, by wenzelm
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
15 months ago, by wenzelm
One messy, messy proof
15 months ago, by paulson
Missing theorem restored
15 months ago, by paulson
Tidying up BNF
15 months ago, by paulson
More cleaning up proofs, plus a TeX fix
15 months ago, by paulson
Fixed a broken proof
15 months ago, by paulson
Substantial simplification of HOL-Cardinals
15 months ago, by paulson
merged
15 months ago, by paulson
Trying to clean up HOL/Cardinals
15 months ago, by paulson
added session to mirabelle output directory structure
15 months ago, by desharna
More tidying of topology proofs
15 months ago, by paulson
Partial round of clearing up applys, etc
15 months ago, by paulson
merged
15 months ago, by paulson
merged
15 months ago, by paulson
Substantial de-applying and streamlining
15 months ago, by paulson
tuned sledgehammer default provers to only include local ones
15 months ago, by desharna
enforce rebuild of Isabelle/ML to update build databases;
15 months ago, by wenzelm
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
15 months ago, by wenzelm
proper treatment of unicode_symbols;
15 months ago, by wenzelm
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
15 months ago, by wenzelm
removed unused operation: unclear wrt. Symbol.encode/decode status;
15 months ago, by wenzelm
tuned signature: more uniform operations;
15 months ago, by wenzelm
tuned comments;
15 months ago, by wenzelm
unused;
15 months ago, by wenzelm
more uniform operations;
15 months ago, by wenzelm
restrict to proper_session_theories;
15 months ago, by wenzelm
proper build parameters (amending d858e6f15da3);
15 months ago, by wenzelm
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
15 months ago, by wenzelm
more command-line options;
15 months ago, by wenzelm
tuned options --- avoid confusion with "isabelle build -b";
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
isabelle update -u path_cartouches;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
updated documentation;
15 months ago, by wenzelm
more options;
15 months ago, by wenzelm
tuned message;
15 months ago, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
15 months ago, by wenzelm
more robust;
15 months ago, by wenzelm
more operations;
15 months ago, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature: more operations;
15 months ago, by wenzelm
clarified signature: more operations;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
15 months ago, by wenzelm
clarified signature: old node is ignored;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
final tidying of theorems
15 months ago, by paulson
merged
15 months ago, by paulson
merged
15 months ago, by paulson
continued proof simplification
15 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip