- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Dec 22 2019
Dec 22 2019
makarius changed the Default View Policy policy for application Differential from All Users to Public (No Login Required).
improved Markdown-like display in Phabricator;
improved Markdown-like display in Phabricator;
somewhat irrelevant -- defaults are OK;
Dec 21 2019
Dec 21 2019
clarified signature -- more operations;
clarified signature;
proper search with multiple "pages" of results;
Dec 20 2019
Dec 20 2019
Some required Node.js packages:
tuned documentation;
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;