Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

User Since
Sep 24 2019, 9:33 PM (174 w, 6 d)
Roles
Administrator

Recent Activity

Today

makarius committed rISABELLE79231a210f5d: observe option "show_states" in headless server (see also 951abf9db857);.
observe option "show_states" in headless server (see also 951abf9db857);
Mon, Jan 30, 3:13 PM

Yesterday

makarius committed rISABELLE515b6aaede32: enable clean_components by default: it saves a lot of local disk space, notably….
enable clean_components by default: it saves a lot of local disk space, notably…
Sun, Jan 29, 4:50 PM

Sat, Jan 28

makarius committed rISABELLE523839d6d8ff: merged.
merged
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE53ce5a39c987: more uniform components context for the managing "self_isabelle" and the….
more uniform components context for the managing "self_isabelle" and the…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE536c033fb6eb: removed somewhat pointless support for Jenkins log files: it has stopped….
removed somewhat pointless support for Jenkins log files: it has stopped…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc8d34e74a12b: tuned signature;.
tuned signature;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc79da77d9e87: obsolete (see also d547173212d2);.
obsolete (see also d547173212d2);
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE2b8cf3b94cde: more operations;.
more operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEf40c36ab154d: clarified names to emphasize suble differences in meaning;.
clarified names to emphasize suble differences in meaning;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE973cd25af280: unused (see 378bb7a739c3);.
unused (see 378bb7a739c3);
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEa8f002720ebb: prefer high-level Other_Isabelle.bash over low-level SSH.execute;.
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE158790217aa9: more options to manage resolved components;.
more options to manage resolved components;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEa2ae6baa8219: tuned comments;.
tuned comments;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEbe90af1e3254: proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle….
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE25a497bb7b0b: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEceee2a01322e: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE8c14be9beb58: more operations;.
more operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE34a6b8bd7abd: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE00d1db8e496e: clarified signature;.
clarified signature;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE97a425ecf96d: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEf07d6bcbefa8: clarified signature: more robust field_scale;.
clarified signature: more robust field_scale;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE9a22256b0a27: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc301b97b4301: more explicit types;.
more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE6608de52a3b5: support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;.
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE6f2ddbff972c: prefer typed/strict operations;.
prefer typed/strict operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEaa359010d264: tuned message;.
tuned message;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE595358b9f61d: prefer strict operation: java.io.File.length returns 0 for non-existent file;.
prefer strict operation: java.io.File.length returns 0 for non-existent file;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEe3a2b3536030: prefer typed bytes count, but retain toString of original Long for robustness….
prefer typed bytes count, but retain toString of original Long for robustness…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE4f68b165d69e: back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning….
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning…
Sat, Jan 28, 10:55 PM

Wed, Jan 25

makarius committed rISABELLEe04536f7c5ea: merged.
merged
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE9f44559c00a9: tuned messages: less verbosity;.
tuned messages: less verbosity;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE9d6118cdc0fd: tuned message, following "isabelle components -a";.
tuned message, following "isabelle components -a";
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE378bb7a739c3: prefer Other_Isabelle.init instead of adhoc scripts;.
prefer Other_Isabelle.init instead of adhoc scripts;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE023273cf2651: clean components more accurately: purge other platforms or archives;.
clean components more accurately: purge other platforms or archives;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE940a6cb734fd: more operations for SSH.System;.
more operations for SSH.System;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE4c2aaf60c22c: clarified signature;.
clarified signature;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEc07d10ac688d: manage other Isabelle distributions via SSH;.
manage other Isabelle distributions via SSH;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEd44e2d1ca84f: tuned;.
tuned;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE4d9f3d1e1749: more operations for SSH.System;.
more operations for SSH.System;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE15e710116a16: recovered option -C from 092449efcb0e (still required for isabelle_cronjob..
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEd3437203c1df: clarified parameters (again);.
clarified parameters (again);
Wed, Jan 25, 10:29 PM

Tue, Jan 24

makarius committed rISABELLE6e2c6ccc5dc0: clarified defaults: imitate "isabelle components -I" without further parameters;.
clarified defaults: imitate "isabelle components -I" without further parameters;
Tue, Jan 24, 11:16 PM
makarius committed rISABELLE7770537f5ceb: tuned;.
tuned;
Tue, Jan 24, 11:16 PM
makarius committed rISABELLEbd5045cd6ca9: merged.
merged
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE351eee493580: more robust locations (amending 7e11e96a922d) --- notably for cleanup() in….
more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEf9a858060836: tuned;.
tuned;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE092449efcb0e: clarified defaults (see also b310b93563f6);.
clarified defaults (see also b310b93563f6);
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE4e724a439035: tuned comments;.
tuned comments;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE7e11e96a922d: more formal Other_Isabelle.settings, with derived expand_path / bash_path;.
more formal Other_Isabelle.settings, with derived expand_path / bash_path;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEa709945b6c71: tuned;.
tuned;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE395a0701a125: clarified signature: minimal interface for getenv/expand_env, instead of bulky….
clarified signature: minimal interface for getenv/expand_env, instead of bulky…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE75ebc168731c: discontinued adhoc change of environment (from 897f1ac84aab), following ssh….
discontinued adhoc change of environment (from 897f1ac84aab), following ssh…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEc2e8ba15a10a: discontinued adhoc change of environment (from c62b99e3ec07), which has been….
discontinued adhoc change of environment (from c62b99e3ec07), which has been…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE973de7855948: removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);.
removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE4471dbb3b7a0: more operations;.
more operations;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEe8010cb36820: more robust and uniform Other_Isabelle.scala_build;.
more robust and uniform Other_Isabelle.scala_build;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE2515198c55e4: tuned;.
tuned;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE7b65209fdfe8: more robust: self-contained Other_Isabelle.isabelle_home;.
more robust: self-contained Other_Isabelle.isabelle_home;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE7a89ef6b0276: tuned;.
tuned;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE2310755b38ad: tuned message;.
tuned message;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE348f4d95d110: more robust (see also 7f55a3e28c88): resolve components from current Isabelle….
more robust (see also 7f55a3e28c88): resolve components from current Isabelle…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEef1831744f00: more strict;.
more strict;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE9ca1e7fc2663: tuned signature;.
tuned signature;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE72d87e32b062: proper ssh.bash_path;.
proper ssh.bash_path;
Tue, Jan 24, 10:41 PM

Mon, Jan 23

makarius committed rISABELLE44f79689115d: more elementary command-line, following lib/Tools/components;.
more elementary command-line, following lib/Tools/components;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEa5d3f3c07de8: merged.
merged
Mon, Jan 23, 11:36 PM
makarius committed rISABELLE422c57b75b17: support remote operations;.
support remote operations;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEf56800b8b085: clarified defaults;.
clarified defaults;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEf60dd8d76515: more accurate options (amending 7e19dc018db9);.
more accurate options (amending 7e19dc018db9);
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEe233054dcb00: clarified defaults;.
clarified defaults;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEc839b84ee66f: more modular shell script;.
more modular shell script;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLE3bb374ac31b3: support remote download_file;.
support remote download_file;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLEe57ba228ec24: tuned: drop redundant "expand";.
tuned: drop redundant "expand";
Mon, Jan 23, 11:36 PM
makarius committed rISABELLE86ace3c45837: more uniform options for "curl", following lib/Tools/components;.
more uniform options for "curl", following lib/Tools/components;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLE92509e4274eb: tuned;.
tuned;
Mon, Jan 23, 11:36 PM
makarius committed rISABELLE39f8051f71d4: update to jdk-17.0.6;.
update to jdk-17.0.6;
Mon, Jan 23, 12:05 AM
makarius committed rISABELLEf51b0b54b20b: avoid odd suffix in published HTML library;.
avoid odd suffix in published HTML library;
Mon, Jan 23, 12:05 AM
makarius committed rISABELLE671ca79e2644: proper cleanup;.
proper cleanup;
Mon, Jan 23, 12:05 AM

Sun, Jan 22

makarius committed rISABELLEdaf13aec9f04: tuned message;.
tuned message;
Sun, Jan 22, 10:29 PM
makarius committed rISABELLEa4380a2d6d2c: tuned signature: avoid aliases;.
tuned signature: avoid aliases;
Sun, Jan 22, 10:29 PM
makarius committed rISABELLE67da045668cc: tuned;.
tuned;
Sun, Jan 22, 10:29 PM
makarius committed rISABELLE4adee07a5e48: tuned signature;.
tuned signature;
Sun, Jan 22, 10:29 PM
makarius committed rISABELLE96879e303ea3: clarified modules (again, in contrast to f8f065e20837);.
clarified modules (again, in contrast to f8f065e20837);
Sun, Jan 22, 10:29 PM
makarius committed rISABELLE2f09dc0e6dda: support IPC via database server;.
support IPC via database server;
Sun, Jan 22, 9:46 PM
makarius committed rISABELLE7b5b1789a34c: proper signature;.
proper signature;
Sun, Jan 22, 9:46 PM
makarius committed rISABELLE164a21e5d568: support specific connection types, for additional operations;.
support specific connection types, for additional operations;
Sun, Jan 22, 9:46 PM
makarius committed rAFP3080fbfdf9ff: isabelle update -u cite;.
isabelle update -u cite;
Sun, Jan 22, 3:25 PM
makarius committed rAFP1e054c418790: more accurate root.bib, based on original \bibitem entries in root.tex….
more accurate root.bib, based on original \bibitem entries in root.tex…
Sun, Jan 22, 3:25 PM

Sat, Jan 21

makarius committed rAFP735f4be0a671: proper bib context for formal citations, although there is no document;.
proper bib context for formal citations, although there is no document;
Sat, Jan 21, 1:09 PM
makarius committed rAFP65313718e1fe: back to unchecked \cite: entry lacks .bib file;.
back to unchecked \cite: entry lacks .bib file;
Sat, Jan 21, 1:09 PM
makarius committed rAFPa3ec1b73b356: back to unchecked \cite: entry lacks .bib file;.
back to unchecked \cite: entry lacks .bib file;
Sat, Jan 21, 12:34 PM
makarius committed rAFP145b267c19cc: back to unchecked \cite: there is entry lacks .bib file;.
back to unchecked \cite: there is entry lacks .bib file;
Sat, Jan 21, 12:28 PM

Fri, Jan 20

makarius committed rISABELLEd0151eb9ecb0: more correct and complete bibliography;.
more correct and complete bibliography;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLEabd4a0f48e49: tuned;.
tuned;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLEe75e2f86a6d3: proper position for semantic completion: avoid duplicate quotes;.
proper position for semantic completion: avoid duplicate quotes;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLE28ac56e59d23: tuned signature;.
tuned signature;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLE02738f4333ee: clarified signature;.
clarified signature;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLEc066335efd2e: clarified signature;.
clarified signature;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLEd7dc5b1e4381: proper positions for Isabelle/ML, instead of Isabelle/Scala;.
proper positions for Isabelle/ML, instead of Isabelle/Scala;
Fri, Jan 20, 11:34 PM
makarius committed rISABELLE1046a69fabaa: dismantle special treatment of citations in Isabelle/Scala;.
dismantle special treatment of citations in Isabelle/Scala;
Fri, Jan 20, 11:34 PM