Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Advanced Search
Use Results
Hide Query

Dec 22 2019

makarius changed the Default Build Plan View Policy policy for application Harbormaster from All Users to Public (No Login Required).
Dec 22 2019, 6:31 PM
makarius changed the Default View Policy policy for application Files from All Users to Public (No Login Required).
Dec 22 2019, 6:31 PM
makarius changed the Default View Policy policy for application Diviner from All Users to Public (No Login Required).
Dec 22 2019, 6:28 PM
makarius changed the Default View Policy policy for application Pholio from All Users to Public (No Login Required).
Dec 22 2019, 6:27 PM
makarius changed the Default View Policy policy for application Maniphest from All Users to Public (No Login Required).
Dec 22 2019, 6:26 PM
makarius changed the Default View Policy policy for application Differential from All Users to Public (No Login Required).
Dec 22 2019, 6:25 PM
makarius changed the Can Create Projects policy for application Projects from All Users to Administrators.
Dec 22 2019, 6:24 PM
makarius changed the Can Create Blogs policy for application Phame from All Users to Administrators.
Dec 22 2019, 6:23 PM
makarius changed the Default View Policy policy for application Diffusion from All Users to Public (No Login Required).
Dec 22 2019, 6:22 PM
makarius edited Description on isabelle-release.
Dec 22 2019, 6:12 PM
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
Dec 22 2019, 6:10 PM
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
Dec 22 2019, 6:10 PM
makarius created Blog Post: Plan for Isabelle2020 release.
Dec 22 2019, 6:08 PM
makarius created Isabelle Release.
Dec 22 2019, 6:05 PM · isabelle-repository
makarius added a project to Isabelle NEWS: isabelle-repository.
Dec 22 2019, 6:01 PM · isabelle-repository
makarius committed rISABELLEe20c47795846: tuned;.
tuned;
Dec 22 2019, 4:38 PM
makarius committed rISABELLE2afdd24ff707: improved Markdown-like display in Phabricator;.
improved Markdown-like display in Phabricator;
Dec 22 2019, 4:38 PM
makarius committed rISABELLEb9a9afa70d1a: improved Markdown-like display in Phabricator;.
improved Markdown-like display in Phabricator;
Dec 22 2019, 4:38 PM
makarius committed rISABELLE8b69289254ba: somewhat irrelevant -- defaults are OK;.
somewhat irrelevant -- defaults are OK;
Dec 22 2019, 4:38 PM
makarius committed rISABELLEc898cd5b8519: obsolete;.
obsolete;
Dec 22 2019, 4:38 PM

Dec 21 2019

makarius committed rISABELLE277ee690cb14: clarified signature -- more operations;.
clarified signature -- more operations;
Dec 21 2019, 4:06 PM
makarius committed rISABELLE79232f138382: clarified signature;.
clarified signature;
Dec 21 2019, 4:06 PM
makarius committed rISABELLE836fde6f9d7e: proper search with multiple "pages" of results;.
proper search with multiple "pages" of results;
Dec 21 2019, 4:06 PM

Dec 20 2019

makarius added a comment to T7: Setup Notification server.

Some required Node.js packages:

Dec 20 2019, 4:19 PM · phabricator-setup
makarius triaged T7: Setup Notification server as Wishlist priority.
Dec 20 2019, 4:16 PM · phabricator-setup
makarius committed rISABELLE2217c731d228: tuned documentation;.
tuned documentation;
Dec 20 2019, 3:57 PM
makarius committed rISABELLE4642a81f5913: tuned messages;.
tuned messages;
Dec 20 2019, 3:56 PM

Dec 19 2019

makarius committed rISABELLEa89729bdde89: more robust;.
more robust;
Dec 19 2019, 10:24 PM
makarius committed rISABELLEd85258458623: tuned message;.
tuned message;
Dec 19 2019, 10:24 PM
makarius created Blog Post: Command-line tool "isabelle hg_setup".
Dec 19 2019, 8:43 PM
makarius committed rISABELLE0131b7b44c32: NEWS;.
NEWS;
Dec 19 2019, 5:31 PM
makarius committed rISABELLEd0e14780b278: more documentation;.
more documentation;
Dec 19 2019, 5:31 PM
makarius committed rISABELLE7c27a379190f: tuned documentation;.
tuned documentation;
Dec 19 2019, 5:31 PM
makarius committed rISABELLE0256ce61f405: more documentation;.
more documentation;
Dec 19 2019, 4:53 PM
makarius committed rISABELLE1e2e68984a9f: clarified backup;.
clarified backup;
Dec 19 2019, 4:53 PM
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…
Dec 19 2019, 4:53 PM
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…
Dec 19 2019, 4:53 PM
makarius committed rISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)….
proper proof body context for Simplifier plugins (solvers, loopers, ...)…
Dec 19 2019, 4:53 PM
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…
Dec 19 2019, 4:53 PM
makarius committed rISABELLE3fc2def62547: tuned signature;.
tuned signature;
Dec 19 2019, 4:53 PM

Dec 18 2019

makarius committed rISABELLE64ec254d901d: proper backup;.
proper backup;
Dec 18 2019, 10:30 PM
makarius committed rISABELLE5b68cc73f8b1: clarified signature;.
clarified signature;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE937328d61436: added command hg_setup: setup remote vs. local Mercurial repository;.
added command hg_setup: setup remote vs. local Mercurial repository;
Dec 18 2019, 9:46 PM
makarius committed rISABELLEc7bf771cdfb5: more ambitious edit_hgrc;.
more ambitious edit_hgrc;
Dec 18 2019, 9:46 PM
makarius committed rISABELLEe169a04e4d3b: clarified signature;.
clarified signature;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE072e585ba238: tuned;.
tuned;
Dec 18 2019, 9:46 PM
makarius committed rISABELLEfd644fb7871b: clarified signature;.
clarified signature;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE384755399fa8: clarified signature;.
clarified signature;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE4a7a1da27087: tuned;.
tuned;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE113779776ee4: more repository information;.
more repository information;
Dec 18 2019, 9:46 PM
makarius committed rISABELLE2f7da37bab52: more permissive string fields;.
more permissive string fields;
Dec 18 2019, 9:46 PM

Dec 17 2019

makarius committed rISABELLE48e72c72b4d8: tuned;.
tuned;
Dec 17 2019, 10:24 PM
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…
Dec 17 2019, 10:24 PM
makarius committed rISABELLE3fdd0b93fa4b: clarified signature;.
clarified signature;
Dec 17 2019, 10:24 PM
makarius committed rISABELLEca794da3bb1d: tuned signature;.
tuned signature;
Dec 17 2019, 10:24 PM
makarius committed rISABELLE51c19a44cfed: support for conduit API;.
support for conduit API;
Dec 17 2019, 10:24 PM
makarius committed rISABELLE93b097726667: tuned whitespace;.
tuned whitespace;
Dec 17 2019, 10:24 PM
makarius committed rISABELLE9f2085c499a2: more robust: support /usr/local/bin/hg;.
more robust: support /usr/local/bin/hg;
Dec 17 2019, 10:24 PM
makarius committed rISABELLE71ea54e851ad: tuned documentation;.
tuned documentation;
Dec 17 2019, 10:24 PM
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…
Dec 17 2019, 10:24 PM
makarius updated the post content for Blog Post: Isabelle/Phabricator setup.
Dec 17 2019, 11:09 AM

Dec 16 2019

makarius removed the image for isabelle-release.
Dec 16 2019, 10:26 PM
makarius updated the image for isabelle-release from F1851: fa-briefcase-blue.png to F1852: fa-briefcase-blue.png.
Dec 16 2019, 10:26 PM
makarius updated the image for isabelle-release from F1850: fa-briefcase-blue.png to F1851: fa-briefcase-blue.png.
Dec 16 2019, 10:26 PM
makarius updated the image for isabelle-release from F1849: profile to F1850: fa-briefcase-blue.png.
Dec 16 2019, 10:25 PM
makarius set the image for isabelle-release to F1849: profile.
Dec 16 2019, 10:25 PM
makarius created Blog Post: Isabelle/Phabricator setup.
Dec 16 2019, 9:28 PM
makarius added a comment to rISABELLE8b745b4d71b5: more rebust setup for Subversion -- assuming that diffusion.ssh-port is only….

See also https://discourse.phabricator-community.org/t/unusable-svn-ssh-url-in-the-presence-of-diffusion-ssh-port/3367

Dec 16 2019, 9:17 PM
makarius committed rISABELLE8f3940150493: tuned NEWS;.
tuned NEWS;
Dec 16 2019, 9:15 PM
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…
Dec 16 2019, 9:06 PM
makarius committed rISABELLE6a40d06698cb: tuned;.
tuned;
Dec 16 2019, 8:10 PM
makarius committed rISABELLE8d21cba3bad4: tuned documentation;.
tuned documentation;
Dec 16 2019, 8:10 PM
makarius committed rISABELLE16e3662217e9: more checks for release;.
more checks for release;
Dec 16 2019, 8:10 PM
makarius committed rISABELLE26a40fc962e8: more packages: required for svn;.
more packages: required for svn;
Dec 16 2019, 8:10 PM
makarius added a comment to rISABELLE5a2033fc8f3d: avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on….

See also https://discourse.phabricator-community.org/t/odd-problem-with-mercurial-branch-cache-in-ubuntu-18-04-lts/3355

Dec 16 2019, 5:29 PM
makarius committed rISABELLE71fd25a7bbe2: more robust setup: avoid blind shot at "the latest" version;.
more robust setup: avoid blind shot at "the latest" version;
Dec 16 2019, 4:39 PM
makarius committed rISABELLE058edb8f232c: more documentation;.
more documentation;
Dec 16 2019, 3:55 PM
makarius committed rISABELLE8cd05f7b3b4a: proper default;.
proper default;
Dec 16 2019, 3:55 PM
makarius committed rISABELLE49bc17bf4384: more robust: avoid accidental use of stdin;.
more robust: avoid accidental use of stdin;
Dec 16 2019, 3:55 PM
makarius committed rISABELLEcfcc1a2233ca: support for Phabricator upgrade;.
support for Phabricator upgrade;
Dec 16 2019, 3:55 PM
makarius committed rISABELLEde59dd86760f: tuned signature;.
tuned signature;
Dec 16 2019, 3:55 PM
makarius updated isabelle-dev.
Dec 16 2019, 1:55 PM

Dec 14 2019

makarius committed rISABELLE5b3a813853bb: tuned message;.
tuned message;
Dec 14 2019, 11:33 PM
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 14 2019, 11:33 PM

Dec 12 2019

makarius committed rISABELLE2e873da296ae: more documentation;.
more documentation;
Dec 12 2019, 4:19 PM
makarius committed rISABELLE197aa6b57a83: more documentation;.
more documentation;
Dec 12 2019, 4:19 PM
makarius committed rISABELLE74cabc06cf2d: proper support for multiple installations;.
proper support for multiple installations;
Dec 12 2019, 4:19 PM
makarius committed rISABELLEb4401dfd6544: clarified "isabelle phabricator -l": avoid surprise with non-existent default….
clarified "isabelle phabricator -l": avoid surprise with non-existent default…
Dec 12 2019, 4:19 PM

Dec 11 2019

makarius committed rISABELLE18f4061fd817: tuned index.html;.
tuned index.html;
Dec 11 2019, 11:06 PM
makarius committed rISABELLE5212ca49598a: more robust;.
more robust;
Dec 11 2019, 10:16 PM
makarius committed rISABELLE6b8cbdc9713b: more robust;.
more robust;
Dec 11 2019, 10:16 PM
makarius added members for isabelle-repository: florian.haftmann, lukas.bulwahn.
Dec 11 2019, 9:32 PM
wenzelm committed rISABELLE1e7319957408: clarified website: redirect to isabelle-dev Phabricator Overview;.
clarified website: redirect to isabelle-dev Phabricator Overview;
Dec 11 2019, 7:17 PM
wenzelm committed rISABELLE58aa62b8c6d3: more documentation;.
more documentation;
Dec 11 2019, 4:49 PM
wenzelm committed rISABELLE3184dbad4d7d: tuned;.
tuned;
Dec 11 2019, 4:49 PM
wenzelm committed rISABELLE7df5c110a43c: support database dump;.
support database dump;
Dec 11 2019, 4:48 PM

Dec 10 2019

wenzelm committed rISABELLEe2fb60756fb8: proper check of Linux version;.
proper check of Linux version;
Dec 10 2019, 9:36 PM
wenzelm committed rISABELLEd5751eb5cc57: tuned;.
tuned;
Dec 10 2019, 9:36 PM
wenzelm committed rISABELLE8451c86ffa85: proper mysql user setup: avoid superuser powers in production;.
proper mysql user setup: avoid superuser powers in production;
Dec 10 2019, 9:36 PM
wenzelm committed rISABELLE6ca561001244: support for pwgen;.
support for pwgen;
Dec 10 2019, 9:36 PM
First
Prev
Next