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.
tuned;
15 months ago, by wenzelm
tuned GUI;
15 months ago, by wenzelm
permissive treatment of citations before the theory header: avoid too many changes in AFP;
15 months ago, by wenzelm
more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;
15 months ago, by wenzelm
clarified documentation: avoid odd speculations about PIDE;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
more complete Bibtex database;
15 months ago, by wenzelm
proper theory context for formal citations;
15 months ago, by wenzelm
isabelle update -u cite;
15 months ago, by wenzelm
clarified treatment of cite macro name;
15 months ago, by wenzelm
explicit legacy_feature;
15 months ago, by wenzelm
more robust: rely on PIDE markup instead of regex guess;
15 months ago, by wenzelm
more index entries;
15 months ago, by wenzelm
updated documentation;
15 months ago, by wenzelm
clarified names;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
15 months ago, by wenzelm
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper language context;
15 months ago, by wenzelm
proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
15 months ago, by wenzelm
tuned whitespace;
15 months ago, by wenzelm
more robust;
15 months ago, by wenzelm
basic support for update_cite_commands;
15 months ago, by wenzelm
more operations: use proper constants;
15 months ago, by wenzelm
proper session_options (amending da13da82f6f9);
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified types;
15 months ago, by wenzelm
more explicit language context;
15 months ago, by wenzelm
clarified signature: more explicit types;
15 months ago, by wenzelm
support embedded syntax, for use with control symbols;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
15 months ago, by wenzelm
more "cite" antiquotations;
15 months ago, by wenzelm
clarified signature: more generic operations;
15 months ago, by wenzelm
clarified check: this could be \nocite;
15 months ago, by wenzelm
avoid confusion of markup element vs. property names;
15 months ago, by wenzelm
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip