- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Mar 3 2020
Mar 3 2020
include actions for jEdit dockables, e.g. "vfs.browser";
misc tuning and clarification;
makarius committed rISABELLEf79d57c27919: avoid conflict with isabelle.next-error, resulting in odd startup dialog;.
avoid conflict with isabelle.next-error, resulting in odd startup dialog;
updated for release;
Mar 2 2020
Mar 2 2020
Added tag Isabelle2020-RC1 for changeset a8849ac415cc
updated for release;
follow Phabricator update 2020 Week 6;
VSCode extension for official Isabelle release;
more documentation;
Mar 1 2020
Mar 1 2020
clarified command line;
proper navigation wrt. caret;
clarified modifier: avoid confusion of CS+a as C+a;
tuned -- avoid deprecated operations;
more Isabelle/jEdit actions;
updated for release;
Feb 29 2020
Feb 29 2020
more Isabelle/jEdit actions;
Feb 28 2020
Feb 28 2020
makarius committed rISABELLEa296d3697e50: updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);.
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
updated for release;
Feb 27 2020
Feb 27 2020
more complete signature;
more complete signature;
clarified versions -- more reproducible build;
Feb 26 2020
Feb 26 2020
updated for release;
updated for release;
See Isabelle/be84312a2d53 to Isabelle/aa7b0a5e9fe3
updated for release;
makarius committed rISABELLE6aa2dc263912: less ambitious preview: discontinued preview-update / preview-source which did….
less ambitious preview: discontinued preview-update / preview-source which did…
misc tuning and clarification;
makarius committed rISABELLEecefde4f9103: proper message passing -- discontinued obsolete auxiliary commands;.
proper message passing -- discontinued obsolete auxiliary commands;
removed duplicate (amending 5763d9a2f47d, 5aa9cb83e70e);
makarius committed rISABELLEbe84312a2d53: update to WebviewPanel API, following initial version by Peter Zeller;.
update to WebviewPanel API, following initial version by Peter Zeller;
Feb 25 2020
Feb 25 2020
makarius committed rISABELLEc06604896c3d: more robust shutdown while Isabelle_Process is starting up, e.g. quit after….
more robust shutdown while Isabelle_Process is starting up, e.g. quit after…
Feb 24 2020
Feb 24 2020
makarius committed rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception….
more robust (amending add9a9f6a290): proper syntax error instead of exception…
makarius committed rISABELLE910a081cca74: more position information for oracles (e.g. "skip_proof" for 'sorry'), requires….
more position information for oracles (e.g. "skip_proof" for 'sorry'), requires…
Feb 19 2020
Feb 19 2020
makarius committed rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce);.
proper print mode for function_space notation (amending d68b705719ce);
proper file name (amending ce3409dfb18c);
Feb 18 2020
Feb 18 2020
makarius renamed T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow from Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip to Evaluate https://discourse.org as replacement for mailman, stackoverflow.
makarius committed rISABELLE09c850e82258: more robust pretty printing of broken YXML, e.g. single "\^E";.
more robust pretty printing of broken YXML, e.g. single "\^E";
Feb 17 2020
Feb 17 2020
makarius committed rISABELLEb2c9f94e025f: proper sort constraints for strip_shyps, for sort relations used in….
proper sort constraints for strip_shyps, for sort relations used in…
Feb 16 2020
Feb 16 2020
makarius committed rISABELLE439410bf4519: proper sort constraints for strip_shyps, which implicitly performs type….
proper sort constraints for strip_shyps, which implicitly performs type…
Feb 15 2020
Feb 15 2020
Feb 14 2020
Feb 14 2020
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
Feb 12 2020
Feb 12 2020
makarius committed rISABELLE8b0b8b9ea653: afford newer Mercurial version, just before odd problems in 4.0 and 4.1;.
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
afford more logging (following defaults on Ubuntu);
Feb 11 2020
Feb 11 2020
updated for release;
updated for release;
Further hints:
Feb 10 2020
Feb 10 2020
recover from Unicode accident in 4abd07cd034f;
updated for release;
An Atlassian / Bitbucket spokesperson says "there are no plans to remove Hg from SourceTree" (see
https://community.atlassian.com/t5/Bitbucket-articles/What-to-do-with-your-Mercurial-repos-when-Bitbucket-sunsets/ba-p/1155380#M176).
Feb 8 2020
Feb 8 2020
allow to override repository versions at runtime;
Feb 7 2020
Feb 7 2020
follow Phabricator update 2020 Week 5;
Jan 28 2020
Jan 28 2020
makarius committed rISABELLE839bf7d74fae: ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);.
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
Jan 19 2020
Jan 19 2020
clarified file names;
makarius committed rISABELLEc1c61d0d8e7c: clarified build_polyml_component: include IDE entry point for ML compiler;.
clarified build_polyml_component: include IDE entry point for ML compiler;