- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Dec 19 2019
Dec 19 2019
Frédéric Tuong committed rAFPc53762f7c3d9: remove the explicit file checking when using a developer version of Isabelle.
remove the explicit file checking when using a developer version of Isabelle
Frédéric Tuong committed rAFP6c07594c559b: compile with isabelle/0131b7b44c32.
compile with isabelle/0131b7b44c32
update to isabelle 0131b7b44c32
more documentation;
tuned documentation;
more documentation;
makarius committed rISABELLEedf3210a61a2: added option -r: support more robust consolidation of local clones with varying….
added option -r: support more robust consolidation of local clones with varying…
makarius committed rISABELLE26614beb3529: removed somewhat pointless option -R: more careful inspection of hgrc is….
removed somewhat pointless option -R: more careful inspection of hgrc is…
makarius committed rISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)….
proper proof body context for Simplifier plugins (solvers, loopers, ...)…
makarius committed rISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and….
more robust bound_fixes: external name does appear in "fixes" name space and…
kleing committed rAFP4a3fcae15c7b: Isabelle_C session directories.
Isabelle_C session directories
nipkow committed rAFPb4d506a1a87e: New entry Poicare_Bendixson.
New entry Poicare_Bendixson
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP4d2d452d222e: website updates.
website updates
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP3a7a97d50e93: new entry: Generalized Counting Sort.
new entry: Generalized Counting Sort
Dec 18 2019
Dec 18 2019
clarified signature;
makarius committed rISABELLE937328d61436: added command hg_setup: setup remote vs. local Mercurial repository;.
added command hg_setup: setup remote vs. local Mercurial repository;
more ambitious edit_hgrc;
clarified signature;
clarified signature;
clarified signature;
more repository information;
more permissive string fields;
nipkow committed rISABELLE9687209ce8cb: tuned proof (by Thomas Sewell).
tuned proof (by Thomas Sewell)
kleing committed rAFP139f5ffeed6f: Word_Lib: latex document fix.
Word_Lib: latex document fix
kleing committed rAFP4e2c2331b602: Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method.
Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method
made LFP operation more faithful to the implementation
kleing committed rAFPbdb912acf555: remove left-over comment.
remove left-over comment
Dec 17 2019
Dec 17 2019
makarius committed rISABELLE0e3a3e3cf482: clarified signature: error_code may contain low-level message instead of proper….
clarified signature: error_code may contain low-level message instead of proper…
clarified signature;
support for conduit API;
more robust: support /usr/local/bin/hg;
tuned documentation;
makarius committed rISABELLE6aadbd650280: eliminated pointless option -T: it merely tests ssh config of root, which is….
eliminated pointless option -T: it merely tests ssh config of root, which is…
nipkow committed rAFP2e0d1f786e12: added a sorting theory.
added a sorting theory
nipkow committed rISABELLEaba1f84a7160: slicker proofs (used in CPP paper).
slicker proofs (used in CPP paper)
Dec 16 2019
Dec 16 2019
makarius updated the image for isabelle-release from F1851: fa-briefcase-blue.png to F1852: fa-briefcase-blue.png.
makarius updated the image for isabelle-release from F1850: fa-briefcase-blue.png to F1851: fa-briefcase-blue.png.
makarius updated the image for isabelle-release from F1849: profile to F1850: fa-briefcase-blue.png.
makarius committed rISABELLE8b745b4d71b5: more rebust setup for Subversion -- assuming that diffusion.ssh-port is only….
more rebust setup for Subversion -- assuming that diffusion.ssh-port is only…
tuned documentation;
more checks for release;
more packages: required for svn;
Giuliano Losa <giuliano@losa.fr> committed rAFP26189c7b6997: eliminate smt command at line 311.
eliminate smt command at line 311
makarius committed rISABELLE71fd25a7bbe2: more robust setup: avoid blind shot at "the latest" version;.
more robust setup: avoid blind shot at "the latest" version;
more documentation;
more robust: avoid accidental use of stdin;
support for Phabricator upgrade;
nipkow committed rAFP9282ad6144da: new theory in Priority_Queue_Braun.
new theory in Priority_Queue_Braun
Dec 14 2019
Dec 14 2019
makarius committed rISABELLE5a2033fc8f3d: avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on….
avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on…
Dec 13 2019
Dec 13 2019
Alexander Bentkamp <a.bentkamp@vu.nl> committed rAFP04690e89d173: EPO: switch size measure.
EPO: switch size measure
Dec 12 2019
Dec 12 2019
more documentation;
more documentation;
proper support for multiple installations;
makarius committed rISABELLEb4401dfd6544: clarified "isabelle phabricator -l": avoid surprise with non-existent default….
clarified "isabelle phabricator -l": avoid surprise with non-existent default…
Dec 11 2019
Dec 11 2019
wenzelm committed rISABELLE1e7319957408: clarified website: redirect to isabelle-dev Phabricator Overview;.
clarified website: redirect to isabelle-dev Phabricator Overview;
wenzelm committed rISABELLE58aa62b8c6d3: more documentation;.
more documentation;
wenzelm committed rISABELLE7df5c110a43c: support database dump;.
support database dump;
Dec 10 2019
Dec 10 2019
wenzelm committed rISABELLEe2fb60756fb8: proper check of Linux version;.
proper check of Linux version;
wenzelm committed rISABELLE8451c86ffa85: proper mysql user setup: avoid superuser powers in production;.
proper mysql user setup: avoid superuser powers in production;