isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 tip

more complete index;
24 months ago, by wenzelm
tuned comments;
24 months ago, by wenzelm
parse citations from raw source, without formal context;
24 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
24 months ago, by wenzelm
tuned messages;
24 months ago, by wenzelm
tuned GUI;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
more efficient, thanks to persistent lazy data in Document.Node;
24 months ago, by wenzelm
proper line positions for PIDE document;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
HOL/Library/BigO is obsolete
24 months ago, by paulson
merged
24 months ago, by paulson
tidy up of this messy and obsolete theory
24 months ago, by paulson
clarified file positions: retain original source path;
24 months ago, by wenzelm
backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
24 months ago, by wenzelm
clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
tuned GUI;
24 months ago, by wenzelm
permissive treatment of citations before the theory header: avoid too many changes in AFP;
24 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;
24 months ago, by wenzelm
clarified documentation: avoid odd speculations about PIDE;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified modules;
24 months ago, by wenzelm
merged
24 months ago, by wenzelm
more complete Bibtex database;
24 months ago, by wenzelm
proper theory context for formal citations;
24 months ago, by wenzelm
isabelle update -u cite;
24 months ago, by wenzelm
clarified treatment of cite macro name;
24 months ago, by wenzelm
explicit legacy_feature;
24 months ago, by wenzelm
more robust: rely on PIDE markup instead of regex guess;
24 months ago, by wenzelm
more index entries;
24 months ago, by wenzelm
updated documentation;
24 months ago, by wenzelm
clarified names;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
24 months ago, by wenzelm
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
proper language context;
24 months ago, by wenzelm
proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
24 months ago, by wenzelm
tuned whitespace;
24 months ago, by wenzelm
more robust;
24 months ago, by wenzelm
basic support for update_cite_commands;
24 months ago, by wenzelm
more operations: use proper constants;
24 months ago, by wenzelm
proper session_options (amending da13da82f6f9);
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified types;
2023-01-13, by wenzelm
more explicit language context;
2023-01-13, by wenzelm
clarified signature: more explicit types;
2023-01-13, by wenzelm
support embedded syntax, for use with control symbols;
2023-01-13, by wenzelm
tuned;
2023-01-13, by wenzelm
tuned;
2023-01-13, by wenzelm
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
2023-01-13, by wenzelm
more "cite" antiquotations;
2023-01-13, by wenzelm
clarified signature: more generic operations;
2023-01-13, by wenzelm
clarified check: this could be \nocite;
2023-01-13, by wenzelm
avoid confusion of markup element vs. property names;
2023-01-12, by wenzelm
clarified Latex markup: optional cite "location" consists of nested document text;
2023-01-12, by wenzelm
more explicit latex markup;
2023-01-12, by wenzelm
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
2023-01-11, by wenzelm
One messy, messy proof
24 months ago, by paulson
Missing theorem restored
24 months ago, by paulson
Tidying up BNF
24 months ago, by paulson
More cleaning up proofs, plus a TeX fix
2023-01-13, by paulson
Fixed a broken proof
2023-01-13, by paulson
Substantial simplification of HOL-Cardinals
2023-01-13, by paulson
merged
2023-01-13, by paulson
Trying to clean up HOL/Cardinals
2023-01-12, by paulson
added session to mirabelle output directory structure
2023-01-12, by desharna
More tidying of topology proofs
2023-01-11, by paulson
Partial round of clearing up applys, etc
2023-01-11, by paulson
merged
2023-01-10, by paulson
merged
2023-01-09, by paulson
Substantial de-applying and streamlining
2023-01-09, by paulson
tuned sledgehammer default provers to only include local ones
2023-01-09, by desharna
enforce rebuild of Isabelle/ML to update build databases;
2023-01-06, by wenzelm
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
2023-01-06, by wenzelm
proper treatment of unicode_symbols;
2023-01-06, by wenzelm
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
2023-01-06, by wenzelm
removed unused operation: unclear wrt. Symbol.encode/decode status;
2023-01-06, by wenzelm
tuned signature: more uniform operations;
2023-01-06, by wenzelm
tuned comments;
2023-01-06, by wenzelm
unused;
2023-01-06, by wenzelm
more uniform operations;
2023-01-06, by wenzelm
restrict to proper_session_theories;
2023-01-06, by wenzelm
proper build parameters (amending d858e6f15da3);
2023-01-06, by wenzelm
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
2023-01-06, by wenzelm
more command-line options;
2023-01-06, by wenzelm
tuned options --- avoid confusion with "isabelle build -b";
2023-01-05, by wenzelm
tuned signature;
2023-01-05, by wenzelm
isabelle update -u path_cartouches;
2023-01-05, by wenzelm
merged
2023-01-05, by wenzelm
updated documentation;
2023-01-05, by wenzelm
more options;
2023-01-05, by wenzelm
tuned message;
2023-01-05, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
2023-01-05, by wenzelm
more robust;
2023-01-05, by wenzelm
more operations;
2023-01-05, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
2023-01-05, by wenzelm
tuned signature;
2023-01-05, by wenzelm
tuned signature;
2023-01-05, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
2023-01-05, by wenzelm
tuned;
2023-01-05, by wenzelm
clarified signature: more operations;
2023-01-04, by wenzelm
clarified signature: more operations;
2023-01-04, by wenzelm
tuned;
2023-01-04, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
2023-01-04, by wenzelm
tuned;
2023-01-04, by wenzelm
tuned signature;
2023-01-04, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
2023-01-04, by wenzelm
clarified signature: old node is ignored;
2023-01-04, by wenzelm
tuned;
2023-01-04, by wenzelm
clarified signature;
2023-01-04, by wenzelm
final tidying of theorems
2023-01-04, by paulson
merged
2023-01-04, by paulson
merged
2023-01-04, by paulson
continued proof simplification
2023-01-04, by paulson
merged
2023-01-03, by paulson
Further simplifications
2023-01-03, by paulson
More tidying of proofs
2023-01-03, by paulson