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

tuned signature: more operations for formal theory context vs. theory loader;
17 months ago, by wenzelm
added Isar command 'print_context_tracing';
17 months ago, by wenzelm
avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet;
17 months ago, by wenzelm
avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer
16 months ago, by blanchet
merged
16 months ago, by paulson
some refinements in Algebra and Number_Theory
16 months ago, by paulson
provide Go component
16 months ago, by Lars Hupel
merged
17 months ago, by paulson
A subtle fix involving the "measurable" attribute
17 months ago, by paulson
merged
17 months ago, by paulson
Numerous minor tweaks and simplifications
17 months ago, by paulson
substantial tidy-up, shortening many proofs
17 months ago, by paulson
add Go component
17 months ago, by Lars Hupel
backed out changeset 2a26d423d9fb: build_log_database not run yet, so this tests the same changesets again;
17 months ago, by wenzelm
back to post-release mode -- after fork point;
17 months ago, by wenzelm

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

isabelle