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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
NEWS;
5 months ago, by wenzelm
updated to jdk-11.0.9+11;
5 months ago, by wenzelm
factored out theory Traditional_Syntax
5 months ago, by haftmann
merged
5 months ago, by paulson
tidying and de-applying
5 months ago, by paulson
tuned interfaces
5 months ago, by haftmann
tuned
5 months ago, by haftmann
index for https://isabelle.in.tum.de/components (or clones);
5 months ago, by wenzelm
enforce strict nesting of local theories
5 months ago, by haftmann
tuned names: t_ -> T_
5 months ago, by nipkow
merged
5 months ago, by nipkow
tuned names
5 months ago, by nipkow
support arm64-linux;
5 months ago, by wenzelm
merged
5 months ago, by paulson
tidying and de-applying
5 months ago, by paulson
Added contributors
5 months ago, by desharna
clarified basic Linux packages;
5 months ago, by wenzelm
merged
5 months ago, by paulson
type class reduction
5 months ago, by paulson
merged
6 months ago, by paulson
de-applying and tidying
6 months ago, by paulson
early and more complete setup of tools
5 months ago, by haftmann
factored out theory Bits_Int
5 months ago, by haftmann
factored out singular operation into separate theory
6 months ago, by haftmann
reactivate veriT after changing options in 11f645d25498
6 months ago, by Mathias Fleury
renamed constant
6 months ago, by nipkow
merged
6 months ago, by wenzelm
discontinued old platforms;
6 months ago, by wenzelm
remove unsupported max-time option from veriT calls
6 months ago, by Mathias Fleury
more standard Value.print_time;
6 months ago, by wenzelm
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
6 months ago, by wenzelm
proper support for Windows exe;
6 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;
6 months ago, by wenzelm
provide verit-2020.10-rmx for testing (inactive);
6 months ago, by wenzelm
proper setup for Windows/MinGW;
6 months ago, by wenzelm
proper libraries_closure for libgmp;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
updated to polyml-test-d68c6736402e --- follow current ongoing development;
6 months ago, by wenzelm
update build script for veriT 2020.10-rmx
6 months ago, by Mathias Fleury
more robust;
6 months ago, by wenzelm
merged
6 months ago, by wenzelm
proper target directory for libraries;
6 months ago, by wenzelm
proper library names on Windows;
6 months ago, by wenzelm
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
6 months ago, by wenzelm
build Isabelle Zipperposition component from OPAM repository;
6 months ago, by wenzelm
tuned messages --- less SPAM;
6 months ago, by wenzelm
tuned signature;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
misc tuning and clarification: prefer Executable.libraries_closure;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
more portable;
6 months ago, by wenzelm
reconstruction of veriT proofs in NEWS
6 months ago, by Mathias Fleury
add reconstruction for the SMT solver veriT
6 months ago, by Mathias Fleury
NEWS;
6 months ago, by wenzelm
activate E 2.5 for production use (see also 5d1a7b688f6d);
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified Executable.libraries_closure;
6 months ago, by wenzelm
dedicated module for toplevel target handling
6 months ago, by haftmann
avoid _cmd suffix where no Isar command is involved
6 months ago, by haftmann
replaced combinators by more conventional nesting pattern
6 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip