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

merged
20 months ago, by paulson
merged
20 months ago, by paulson
a further clean up
20 months ago, by paulson
clarified Windows base line;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
clarified generated settings;
20 months ago, by wenzelm
proper packages for mercurial_setup;
20 months ago, by wenzelm
more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
20 months ago, by wenzelm
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
20 months ago, by wenzelm
tuned --- make IntelliJ IDEA happy;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
Added smt (verit) to Sledgehammer's proof preplay.
20 months ago, by desharna
unified slots
20 months ago, by haftmann
unified Local_Theory.init with Generic_Target.init
20 months ago, by haftmann
moved most material from session HOL-Word to Word_Lib in the AFP
20 months ago, by haftmann
removed dependency
20 months ago, by haftmann
better handling of skolemization for Isar reconstruction in Sledgehammer for veriT
20 months ago, by Mathias Fleury
more lemmas
20 months ago, by haftmann
clarified signature: overloaded "+" for Path.append;
20 months ago, by wenzelm
NEWS;
20 months ago, by wenzelm
updated to jdk-11.0.9+11;
20 months ago, by wenzelm
factored out theory Traditional_Syntax
20 months ago, by haftmann
merged
20 months ago, by paulson
tidying and de-applying
20 months ago, by paulson
tuned interfaces
20 months ago, by haftmann
tuned
20 months ago, by haftmann
index for https://isabelle.in.tum.de/components (or clones);
20 months ago, by wenzelm
enforce strict nesting of local theories
20 months ago, by haftmann
tuned names: t_ -> T_
20 months ago, by nipkow
merged
20 months ago, by nipkow
tuned names
20 months ago, by nipkow
support arm64-linux;
20 months ago, by wenzelm
merged
20 months ago, by paulson
tidying and de-applying
20 months ago, by paulson
Added contributors
20 months ago, by desharna
clarified basic Linux packages;
20 months ago, by wenzelm
merged
20 months ago, by paulson
type class reduction
20 months ago, by paulson
merged
20 months ago, by paulson
de-applying and tidying
20 months ago, by paulson
early and more complete setup of tools
20 months ago, by haftmann
factored out theory Bits_Int
20 months ago, by haftmann
factored out singular operation into separate theory
20 months ago, by haftmann
reactivate veriT after changing options in 11f645d25498
20 months ago, by Mathias Fleury
renamed constant
20 months ago, by nipkow
merged
20 months ago, by wenzelm
discontinued old platforms;
20 months ago, by wenzelm
remove unsupported max-time option from veriT calls
20 months ago, by Mathias Fleury
more standard Value.print_time;
20 months ago, by wenzelm
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
20 months ago, by wenzelm
proper support for Windows exe;
20 months ago, by wenzelm
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
20 months ago, by wenzelm
provide verit-2020.10-rmx for testing (inactive);
20 months ago, by wenzelm
proper setup for Windows/MinGW;
20 months ago, by wenzelm
proper libraries_closure for libgmp;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
updated to polyml-test-d68c6736402e --- follow current ongoing development;
20 months ago, by wenzelm
update build script for veriT 2020.10-rmx
20 months ago, by Mathias Fleury
more robust;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm

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

isabelle