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

merged
2020-10-11, by paulson
tidying and removal of legacy name
2020-10-11, by paulson
tuned whitespace;
2020-10-11, by wenzelm
more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;
2020-10-11, by wenzelm
clarified signature;
2020-10-11, by wenzelm
presumably redundant (absent in Windows/Cygwin download);
2020-10-11, by wenzelm
tuned messages;
2020-10-11, by wenzelm
build Isabelle veriT component from official download;
2020-10-11, by wenzelm
tuned;
2020-10-11, by wenzelm
tuned messages;
2020-10-11, by wenzelm
direct exit to theory when ending nested target on theory target
2020-10-10, by haftmann
tuned
2020-10-10, by haftmann
consolidated terminology
2020-10-10, by haftmann
avoid baroque export
2020-10-10, by haftmann
clarified message;
2020-10-10, by wenzelm
tuned signature;
2020-10-10, by wenzelm
clarified options;
2020-10-10, by wenzelm
more explicit MinGW context;
2020-10-10, by wenzelm
clarified signature: allow complex bash script;
2020-10-10, by wenzelm
clarified signature;
2020-10-10, by wenzelm
more standard path output (despite platform_path from d55eb82ae77b);
2020-10-10, by wenzelm
clarified errors;
2020-10-10, by wenzelm
tuned signature;
2020-10-10, by wenzelm
more explicit MinGW context;
2020-10-10, by wenzelm
more libs for build_csdp;
2020-10-10, by wenzelm
support for MSYS2/MinGW64 on Windows;
2020-10-10, by wenzelm
tuned --- according to instructions on Website;
2020-10-10, by wenzelm
updated to csdp-6.1.1, with support for arm64-linux;
2020-10-10, by wenzelm

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

isabelle