isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

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
2023-01-15, by paulson
Missing theorem restored
2023-01-14, by paulson
Tidying up BNF
2023-01-14, 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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 tip

isabelle