Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Yesterday

makarius committed rISABELLE13a0efd9f2ed: more macOS versions;.
more macOS versions;
Wed, Jun 29, 12:17 PM

Tue, Jun 28

makarius committed rISABELLEe4bbe0b9288d: merged.
merged
Tue, Jun 28, 8:33 PM
makarius committed rISABELLEf5015fa7cb19: prefer Isabelle/Scala operations;.
prefer Isabelle/Scala operations;
Tue, Jun 28, 8:33 PM
makarius committed rISABELLE809c37bfd823: clarified IO, following Java 11 and Isabelle/Scala;.
clarified IO, following Java 11 and Isabelle/Scala;
Tue, Jun 28, 8:33 PM
makarius committed rISABELLEe3aa7214eb1a: prefer Scala operations;.
prefer Scala operations;
Tue, Jun 28, 8:33 PM
makarius committed rISABELLE11e233ba53c8: minor tuning;.
minor tuning;
Tue, Jun 28, 8:33 PM
makarius committed rISABELLEc8263ac985e1: more operations on Bytes.T;.
more operations on Bytes.T;
Tue, Jun 28, 8:33 PM
makarius committed rISABELLE4879d0021185: more operations on Bytes.T;.
more operations on Bytes.T;
Tue, Jun 28, 8:33 PM

Sat, Jun 25

makarius committed rAFP4968f5a0b474: avoid hardwired pdf;.
avoid hardwired pdf;
Sat, Jun 25, 6:42 PM
makarius committed rAFPf8a002855e5e: merged.
merged
Sat, Jun 25, 6:42 PM
makarius committed rAFP256787b32958: adapted to Isabelle/986506233812;.
adapted to Isabelle/986506233812;
Sat, Jun 25, 6:42 PM
makarius committed rISABELLEaeb412065742: prefer antiquotations;.
prefer antiquotations;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE85a7795675be: merged.
merged
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE44815dc2b8f9: clarified modules;.
clarified modules;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE9639c3867b86: more documentation;.
more documentation;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLEbe89ec4a4523: tuned whitespace;.
tuned whitespace;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE4494cd69f97f: clarified modules;.
clarified modules;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE986506233812: clarified signature: File.read_lines is based on scalable Bytes.T;.
clarified signature: File.read_lines is based on scalable Bytes.T;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE01b3da984e55: prefer scalable Bytes.T;.
prefer scalable Bytes.T;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE1b50bcd108b7: unused;.
unused;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE03ae0ba2aa9e: prefer scalable Bytes.T;.
prefer scalable Bytes.T;
Sat, Jun 25, 6:40 PM

Fri, Jun 24

makarius committed rAFP09ceb8a134bc: adapted to Isabelle/39df30349778;.
adapted to Isabelle/39df30349778;
Fri, Jun 24, 10:38 AM

Thu, Jun 23

makarius committed rISABELLE0f7cb6cd08fe: more robust CSV syntax, e.g. for "pull_date";.
more robust CSV syntax, e.g. for "pull_date";
Thu, Jun 23, 11:43 PM
makarius committed rISABELLE2a40ca7454bc: merged.
merged
Thu, Jun 23, 10:52 PM
makarius committed rISABELLEfc8d64a578e4: more operations;.
more operations;
Thu, Jun 23, 10:52 PM
makarius committed rISABELLE39df30349778: more scalable generated files and code export, using Bytes.T;.
more scalable generated files and code export, using Bytes.T;
Thu, Jun 23, 10:52 PM
makarius committed rISABELLE7a0d4c126f79: proper execution of Bytes.write;.
proper execution of Bytes.write;
Thu, Jun 23, 10:52 PM

Wed, Jun 22

makarius committed rISABELLEe6e0a95f87f3: merged.
merged
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE7ff9745609d7: more operations;.
more operations;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLEecbd0b38256b: removed unused operations;.
removed unused operations;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE3e09396db078: tuned;.
tuned;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLEf72b88f2842c: tuned comments;.
tuned comments;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE303f885d4a8c: clarified signature: more operations;.
clarified signature: more operations;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE99b7638d9177: clarified session resources for bootstrap, notably for Scala functions;.
clarified session resources for bootstrap, notably for Scala functions;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLEabd110cb7327: tuned;.
tuned;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE3349e360b71d: clarified signature;.
clarified signature;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE3bee51daf9a9: tuned;.
tuned;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE79b4efd17d2b: tuned signature;.
tuned signature;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLEb2b097624e4c: clarified types and defaults;.
clarified types and defaults;
Wed, Jun 22, 8:43 PM
makarius committed rISABELLE5c1c4f537ae8: NEWS;.
NEWS;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE3362b6a5d697: support XZ compression in Isabelle/ML;.
support XZ compression in Isabelle/ML;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE29654a8e9374: merged.
merged
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEd3ba143a7ab8: prefer scalable byte strings;.
prefer scalable byte strings;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE8c5eedb6c983: tuned comments;.
tuned comments;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEc51e1cef1eae: more scalable byte messages, notably for Scala functions in ML;.
more scalable byte messages, notably for Scala functions in ML;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE06f8b072f28e: clarified ML pretty printing;.
clarified ML pretty printing;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE4fc8a35579b2: tuned signature;.
tuned signature;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE5945c6f5126a: clarified signature: more operations;.
clarified signature: more operations;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEad957ab06f72: tuned signature: more operations;.
tuned signature: more operations;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE833f26c3a3af: tuned comments;.
tuned comments;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEac5e633ad9b3: tuned signature: more operations;.
tuned signature: more operations;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEf848f66a8cb7: tuned signature;.
tuned signature;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLEa8539b1c8775: clarified signature: avoid repeated string copying via Substring.slice;.
clarified signature: avoid repeated string copying via Substring.slice;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE94321fd25c8a: support for scalable byte strings, with incremental construction;.
support for scalable byte strings, with incremental construction;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE65a2482f772d: remove unused file following 51e696887b81;.
remove unused file following 51e696887b81;
Wed, Jun 22, 12:12 AM
makarius committed rISABELLE389b193af8ae: clarified signature;.
clarified signature;
Wed, Jun 22, 12:12 AM

Wed, Jun 15

makarius committed rISABELLE5bba3516ddb5: more robust: always override ISABELLE_IDENTIFIER from environment;.
more robust: always override ISABELLE_IDENTIFIER from environment;
Wed, Jun 15, 5:25 PM
makarius committed rISABELLEe7e2285cf800: "isabelle vscode" is regular user-space tool;.
"isabelle vscode" is regular user-space tool;
Wed, Jun 15, 1:39 PM

Mon, Jun 13

makarius committed rISABELLE5340239ff468: clarified options of "isabelle hg_sync" vs. "isabelle sync";.
clarified options of "isabelle hg_sync" vs. "isabelle sync";
Mon, Jun 13, 12:11 PM
makarius committed rISABELLEcf69c9112d09: tuned layout;.
tuned layout;
Mon, Jun 13, 12:11 PM
makarius committed rISABELLEdf14a62129e9: misc tuning;.
misc tuning;
Mon, Jun 13, 12:11 PM
makarius committed rISABELLE1f6fc2416a48: clarified document structure;.
clarified document structure;
Mon, Jun 13, 12:11 PM

Sat, Jun 11

makarius created Blog Post: Command-line tools "isabelle hg_sync" and "isabelle sync".
Sat, Jun 11, 11:01 PM
makarius committed rISABELLE197a5b3a1ea2: promote "isabelle sync" to regular user-space tool, with proper documentation;.
promote "isabelle sync" to regular user-space tool, with proper documentation;
Sat, Jun 11, 10:57 PM
makarius committed rISABELLEbe33ca6f45d7: more comments;.
more comments;
Sat, Jun 11, 10:57 PM

Fri, Jun 10

makarius committed rISABELLE4dd0f250ec0d: more options;.
more options;
Fri, Jun 10, 11:53 PM
makarius committed rISABELLE4aa3da02fd4d: sync session images, based on accidental local state;.
sync session images, based on accidental local state;
Fri, Jun 10, 9:11 PM
makarius committed rISABELLE4103b945c7b5: more informative release_snapshot, to see better where the cronjob fails;.
more informative release_snapshot, to see better where the cronjob fails;
Fri, Jun 10, 3:34 PM
makarius committed rISABELLE170ec97f1764: more robust, notably for crontab;.
more robust, notably for crontab;
Fri, Jun 10, 3:34 PM
makarius committed rISABELLE4b21e823d35f: clarified names;.
clarified names;
Fri, Jun 10, 2:19 PM
makarius committed rISABELLE0af8a0b6216a: tuned;.
tuned;
Fri, Jun 10, 2:19 PM

Thu, Jun 9

makarius committed rISABELLE460a25031ccd: tuned;.
tuned;
Thu, Jun 9, 9:32 PM
makarius committed rISABELLE18b77e4387f3: proper make_port for regular situation;.
proper make_port for regular situation;
Thu, Jun 9, 12:10 AM
makarius committed rISABELLE218dd201e24d: clarified types -- proper default_port via make_port;.
clarified types -- proper default_port via make_port;
Thu, Jun 9, 12:01 AM
makarius committed rISABELLE179a3b028b0a: proper nominal_port, notably for port forwarding;.
proper nominal_port, notably for port forwarding;
Thu, Jun 9, 12:01 AM

Tue, Jun 7

makarius committed rISABELLE675acdaca65c: merged.
merged
Tue, Jun 7, 8:25 PM
makarius committed rISABELLEfbe27a50706b: avoid noise via context.progress (amending 68162e4f60a7);.
avoid noise via context.progress (amending 68162e4f60a7);
Tue, Jun 7, 8:24 PM
makarius committed rISABELLE7cdeed5dc96d: more robust treatment of rsync on macOS (see also 96fb1f9a4042);.
more robust treatment of rsync on macOS (see also 96fb1f9a4042);
Tue, Jun 7, 8:24 PM
makarius committed rISABELLE1d937b12204d: more robust: no change of directory attributes of initial test, notably target….
more robust: no change of directory attributes of initial test, notably target…
Tue, Jun 7, 8:24 PM
makarius committed rISABELLE2bf2cc3aca84: tuned whitespace;.
tuned whitespace;
Tue, Jun 7, 8:24 PM
makarius committed rISABELLE31abccc97ade: merged.
merged
Tue, Jun 7, 5:28 PM
makarius committed rISABELLEa66fd84a30b7: clarified context with global defaults;.
clarified context with global defaults;
Tue, Jun 7, 5:28 PM
makarius committed rISABELLE96fb1f9a4042: more robust: protect_args does not work with rsync 2.x from macOS, and is not….
more robust: protect_args does not work with rsync 2.x from macOS, and is not…
Tue, Jun 7, 5:28 PM
makarius committed rISABELLE68162e4f60a7: clarified signature: more explicit type Rsync.Context;.
clarified signature: more explicit type Rsync.Context;
Tue, Jun 7, 5:28 PM
makarius committed rISABELLE57b6a28e4eba: tuned signature;.
tuned signature;
Tue, Jun 7, 5:28 PM
makarius committed rISABELLEff8012edac89: clarified signature;.
clarified signature;
Tue, Jun 7, 5:28 PM
makarius committed rISABELLE0dcaf0e5107b: clarified modules;.
clarified modules;
Tue, Jun 7, 5:28 PM

Mon, Jun 6

makarius committed rAFP4aa6d54b05fb: more realistic timeout;.
more realistic timeout;
Mon, Jun 6, 8:01 PM
makarius committed rAFPf1fba7ea6bc1: tuned whitespace;.
tuned whitespace;
Mon, Jun 6, 8:01 PM
makarius committed rISABELLE65ecf4c5b868: removed obsolete self_update: always enabled, notably on lxbroy10 which is the….
removed obsolete self_update: always enabled, notably on lxbroy10 which is the…
Mon, Jun 6, 7:47 PM
makarius committed rISABELLEcb4af8c6152f: clarified remote vs. local build_history: operate on hg_sync directory instead….
clarified remote vs. local build_history: operate on hg_sync directory instead…
Mon, Jun 6, 7:47 PM
makarius committed rISABELLE931c48756b88: avoid redundant meta data: exclude .hg_archival.txt;.
avoid redundant meta data: exclude .hg_archival.txt;
Mon, Jun 6, 7:47 PM
makarius committed rISABELLEb3fa6c79ed3b: clarified signature: cwd can be misleading --- changes meaning of target;.
clarified signature: cwd can be misleading --- changes meaning of target;
Mon, Jun 6, 7:47 PM
makarius committed rISABELLE292d7a9dc8a3: proper operation on String, not Path;.
proper operation on String, not Path;
Mon, Jun 6, 7:47 PM

Sun, Jun 5

makarius committed rAFPb97b329ece74: more realistic timeout;.
more realistic timeout;
Sun, Jun 5, 8:39 PM
makarius committed rAFPf6f9a817674e: avoid hard-wired document;.
avoid hard-wired document;
Sun, Jun 5, 8:38 PM
makarius committed rISABELLE0c2ff768caf5: more meta data;.
more meta data;
Sun, Jun 5, 8:33 PM
makarius committed rISABELLE8c32f0210a1a: merged.
merged
Sun, Jun 5, 8:33 PM
makarius committed rISABELLE36316c6a3fc2: clarified signature: more operations;.
clarified signature: more operations;
Sun, Jun 5, 8:33 PM
makarius committed rISABELLE2251548ec4a8: tuned messages;.
tuned messages;
Sun, Jun 5, 8:33 PM