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 -16 +16 +100 +300 +1000 +3000 tip

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

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

isabelle