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.
proper target directory for libraries;
19 months ago, by wenzelm
proper library names on Windows;
19 months ago, by wenzelm
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
19 months ago, by wenzelm
build Isabelle Zipperposition component from OPAM repository;
19 months ago, by wenzelm
tuned messages --- less SPAM;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
misc tuning and clarification: prefer Executable.libraries_closure;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more portable;
19 months ago, by wenzelm
reconstruction of veriT proofs in NEWS
19 months ago, by Mathias Fleury
add reconstruction for the SMT solver veriT
19 months ago, by Mathias Fleury
NEWS;
19 months ago, by wenzelm
activate E 2.5 for production use (see also 5d1a7b688f6d);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified Executable.libraries_closure;
19 months ago, by wenzelm
dedicated module for toplevel target handling
19 months ago, by haftmann
avoid _cmd suffix where no Isar command is involved
19 months ago, by haftmann
replaced combinators by more conventional nesting pattern
19 months ago, by haftmann
consolidated names and operations
19 months ago, by haftmann
centralized case distinction for beginning and ending nested targets in one place
19 months ago, by haftmann
support for platform-specific executables;
19 months ago, by wenzelm
merged
19 months ago, by paulson
merged
19 months ago, by paulson
tidying and removal of legacy name
19 months ago, by paulson
tuned whitespace;
19 months ago, by wenzelm
more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
presumably redundant (absent in Windows/Cygwin download);
19 months ago, by wenzelm
tuned messages;
19 months ago, by wenzelm
build Isabelle veriT component from official download;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned messages;
19 months ago, by wenzelm
direct exit to theory when ending nested target on theory target
19 months ago, by haftmann
tuned
19 months ago, by haftmann
consolidated terminology
19 months ago, by haftmann
avoid baroque export
19 months ago, by haftmann
clarified message;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified options;
19 months ago, by wenzelm
more explicit MinGW context;
19 months ago, by wenzelm
clarified signature: allow complex bash script;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
more standard path output (despite platform_path from d55eb82ae77b);
19 months ago, by wenzelm
clarified errors;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more explicit MinGW context;
19 months ago, by wenzelm
more libs for build_csdp;
19 months ago, by wenzelm
support for MSYS2/MinGW64 on Windows;
19 months ago, by wenzelm
tuned --- according to instructions on Website;
19 months ago, by wenzelm
updated to csdp-6.1.1, with support for arm64-linux;
19 months ago, by wenzelm
proper support for x86_64-windows via msys/mingw64;
19 months ago, by wenzelm
more standard build from sources;
19 months ago, by wenzelm
tuned message;
19 months ago, by wenzelm
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
19 months ago, by wenzelm
build Isabelle CSDP component from official downloads;
19 months ago, by wenzelm
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
19 months ago, by wenzelm
proper support for Windows/Cygwin;
19 months ago, by wenzelm
build Isabelle SPASS component from unofficial download;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip