Advanced Search
Use Results
Edit Query
Hide Query

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…

makarius committed rISABELLE3fc2def62547: tuned signature;.

tuned signature;

Dec 18 2019

makarius committed rISABELLE64ec254d901d: proper backup;.

proper backup;

Dec 18 2019, 10:30 PM

makarius committed rISABELLE5b68cc73f8b1: clarified signature;.

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;

makarius committed rISABELLEc7bf771cdfb5: more ambitious edit_hgrc;.

more ambitious edit_hgrc;

makarius committed rISABELLEe169a04e4d3b: clarified signature;.

clarified signature;

makarius committed rISABELLE072e585ba238: tuned;.

tuned;

makarius committed rISABELLEfd644fb7871b: clarified signature;.

clarified signature;

makarius committed rISABELLE384755399fa8: clarified signature;.

clarified signature;

makarius committed rISABELLE4a7a1da27087: tuned;.

tuned;

makarius committed rISABELLE113779776ee4: more repository information;.

more repository information;

makarius committed rISABELLE2f7da37bab52: more permissive string fields;.

more permissive string fields;

Dec 17 2019

makarius committed rISABELLE48e72c72b4d8: tuned;.

tuned;

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…

makarius committed rISABELLE3fdd0b93fa4b: clarified signature;.

clarified signature;

makarius committed rISABELLEca794da3bb1d: tuned signature;.

tuned signature;

makarius committed rISABELLE51c19a44cfed: support for conduit API;.

support for conduit API;

makarius committed rISABELLE93b097726667: tuned whitespace;.

tuned whitespace;

makarius committed rISABELLE9f2085c499a2: more robust: support /usr/local/bin/hg;.

more robust: support /usr/local/bin/hg;

makarius committed rISABELLE71ea54e851ad: tuned documentation;.

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…

makarius committed rISABELLE8b745b4d71b5: more rebust setup for Subversion -- assuming that diffusion.ssh-port is only….

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….

Dec 16 2019, 9:17 PM

makarius committed rISABELLE8f3940150493: tuned NEWS;.

tuned NEWS;

Dec 16 2019, 9:15 PM

more rebust setup for Subversion -- assuming that diffusion.ssh-port is only…

Dec 16 2019, 9:06 PM

makarius committed rISABELLE6a40d06698cb: tuned;.

tuned;

makarius committed rISABELLE8d21cba3bad4: tuned documentation;.

tuned documentation;

makarius committed rISABELLE16e3662217e9: more checks for release;.

more checks for release;

makarius committed rISABELLE26a40fc962e8: more packages: required for svn;.

more packages: required for svn;

makarius added a comment to rISABELLE5a2033fc8f3d: avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on….

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;

makarius committed rISABELLE8cd05f7b3b4a: proper default;.

proper default;

makarius committed rISABELLE49bc17bf4384: more robust: avoid accidental use of stdin;.

more robust: avoid accidental use of stdin;

makarius committed rISABELLEcfcc1a2233ca: support for Phabricator upgrade;.

support for Phabricator upgrade;

makarius committed rISABELLEde59dd86760f: tuned signature;.

tuned signature;

makarius committed rISABELLE5a2033fc8f3d: avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on….

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

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;

makarius committed rISABELLE197aa6b57a83: more documentation;.

more documentation;

makarius committed rISABELLE74cabc06cf2d: proper support for multiple installations;.

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

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;

wenzelm committed rISABELLEd5751eb5cc57: tuned;.

tuned;

wenzelm committed rISABELLE8451c86ffa85: proper mysql user setup: avoid superuser powers in production;.

proper mysql user setup: avoid superuser powers in production;

wenzelm committed rISABELLE6ca561001244: support for pwgen;.

support for pwgen;

Dec 9 2019

wenzelm committed rISABELLEb1f3e86a4745: clarified signature: store full theory name;.

clarified signature: store full theory name;

Dec 9 2019, 11:22 AM

Dec 6 2019

wenzelm committed rISABELLEa9ad4a954cb7: merged.

merged

wenzelm committed rISABELLEa62431901140: suppress record types: not working properly;.

suppress record types: not working properly;

wenzelm committed rISABELLEc5914bdd896b: removed junk;.

removed junk;

wenzelm committed rISABELLE297d24fb262c: discontinued somewhat pointless options;.

discontinued somewhat pointless options;

wenzelm committed rISABELLE877316c54ed3: clarified signature;.

clarified signature;

wenzelm committed rISABELLEbd93c71521a0: tuned signature;.

tuned signature;

wenzelm committed rISABELLEadf5e53d2b2b: export datatypes;.

export datatypes;

wenzelm committed rISABELLE6e0ff949073e: clarified modules;.

clarified modules;

wenzelm committed rISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;.

misc tuning and clarification: proper check of datatype kind;

wenzelm committed rISABELLEe5664a75f4b5: clarified modules;.

clarified modules;

Dec 4 2019

wenzelm committed rISABELLE7b9ff966974f: merged.

merged

Dec 4 2019, 8:08 PM

wenzelm committed rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many….

clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…

Dec 4 2019, 8:08 PM

Dec 3 2019

wenzelm committed rISABELLEd411d5c84a4b: merged.

merged

Dec 3 2019, 7:37 PM

wenzelm committed rISABELLE2bc39c80a95d: clarified export of consts: recursion is accessible via spec_rules;.

clarified export of consts: recursion is accessible via spec_rules;

Dec 3 2019, 7:37 PM

wenzelm committed rISABELLE4dfb7c937126: more operations;.

more operations;

Dec 3 2019, 7:37 PM

wenzelm committed rAFP801b10285bb6: merged.

merged

Dec 3 2019, 3:36 PM

wenzelm committed rAFPde5e63a46b97: adapted to Isabelle/5727bcc3c47c;.

adapted to Isabelle/5727bcc3c47c;

Dec 3 2019, 3:36 PM

wenzelm committed rISABELLE35e465677a26: merged.

merged

wenzelm committed rISABELLE73b313432d8a: clarified position for spec rule: like entity;.

clarified position for spec rule: like entity;

wenzelm committed rISABELLE2dee5cd42fde: clarified name: avoid clashes;.

clarified name: avoid clashes;

wenzelm committed rISABELLE37eb175895c5: proper treatment of variable names;.

proper treatment of variable names;

wenzelm committed rISABELLEe64c249d3d98: proper dynamic position of application context, e.g. relevant for….

proper dynamic position of application context, e.g. relevant for…

wenzelm committed rISABELLE39ccdbbed539: more informative spec rules;.

more informative spec rules;

wenzelm committed rISABELLE5727bcc3c47c: proper spec_rule name via naming/binding/Morphism.binding;.

proper spec_rule name via naming/binding/Morphism.binding;

wenzelm committed rISABELLE475510f1a280: more robust;.

more robust;

wenzelm committed rISABELLE7d522732b7f2: more informative export;.

more informative export;

wenzelm committed rISABELLE8508cc7f79aa: tuned comment;.

tuned comment;

wenzelm committed rISABELLE66fa99c85095: tuned signature -- following Export_Theory.Spec_Rule in Scala;.

tuned signature -- following Export_Theory.Spec_Rule in Scala;

wenzelm committed rISABELLE5e0050eb64f2: clarified export of spec rules: more like locale;.

clarified export of spec rules: more like locale;

wenzelm committed rISABELLE8af82f3e03c9: formal position for spec rule (not significant for equality);.

formal position for spec rule (not significant for equality);

wenzelm committed rISABELLE20dce31fe7f4: proper spec rules via resulting def_thm, e.g. relevant for "isabelle build -o….

proper spec rules via resulting def_thm, e.g. relevant for "isabelle build -o…

wenzelm committed rISABELLE95e12ecdcb5f: proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o….

proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o…

wenzelm committed rISABELLEabb0d984abbc: tuned -- avoid confusion of fun_t with fun_lhs;.

tuned -- avoid confusion of fun_t with fun_lhs;