Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Sun, Oct 2

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sun, Oct 2, 8:19 PM · isabelle-release
makarius committed rISABELLE6ab4bb7cb8b2: back to post-release mode -- after fork point;.
back to post-release mode -- after fork point;
Sun, Oct 2, 7:53 PM
makarius committed rISABELLE02c1ffc23d95: Added tag Isabelle2022-RC3 for changeset d704efeb01db.
Added tag Isabelle2022-RC3 for changeset d704efeb01db
Sun, Oct 2, 7:53 PM
makarius committed rISABELLEaa6ce2e51e6c: proper base names;.
proper base names;
Sun, Oct 2, 5:27 PM
makarius committed rISABELLEd704efeb01db: proper cygwin component (see d042947e47a3).
proper cygwin component (see d042947e47a3)
Sun, Oct 2, 5:27 PM
makarius committed rISABELLE30d43e9b2077: suppress command echo in output;.
suppress command echo in output;
Sun, Oct 2, 5:27 PM
makarius committed rISABELLEd042947e47a3: include openssh for rsync (see also a1c7829ac2de);.
include openssh for rsync (see also a1c7829ac2de);
Sun, Oct 2, 5:27 PM
makarius committed rISABELLE2a052820523d: provide naproche-20221002;.
provide naproche-20221002;
Sun, Oct 2, 5:27 PM

Sat, Oct 1

makarius committed rISABELLE0a44395a25f0: merged.
merged
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE03dd2f19f1d7: clarified signature: more operations;.
clarified signature: more operations;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE16c12979c132: tuned signature;.
tuned signature;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE035ffcd82fb2: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLEf3b23f4eaaac: clarified signature, to support external tools like "isabelle narration";.
clarified signature, to support external tools like "isabelle narration";
Sat, Oct 1, 10:26 PM

Fri, Sep 30

makarius committed rISABELLEfc19de122712: clarified signature;.
clarified signature;
Fri, Sep 30, 9:38 PM
makarius committed rISABELLE6ee5306d143a: more explanations on the new order prover (based on 10945fc183cd), without….
more explanations on the new order prover (based on 10945fc183cd), without…
Fri, Sep 30, 7:46 PM
makarius committed rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;.
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
Fri, Sep 30, 7:46 PM

Wed, Sep 28

makarius committed rISABELLEcf7db6353322: recover informal "&" from 0c18df79b1c8;.
recover informal "&" from 0c18df79b1c8;
Wed, Sep 28, 12:24 PM

Tue, Sep 27

makarius committed rAFPa969a9029a5c: clarified options, following f2094906e491;.
clarified options, following f2094906e491;
Tue, Sep 27, 1:37 PM
makarius committed rISABELLEf2094906e491: clarified options;.
clarified options;
Tue, Sep 27, 1:36 PM

Mon, Sep 26

makarius committed rISABELLE2802f6a4dd8b: merged.
merged
Mon, Sep 26, 8:49 PM
makarius committed rISABELLEe44e044dadb3: provide missing LaTeX macro, e.g. for AFP/PAC_Checker;.
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
Mon, Sep 26, 8:49 PM
makarius committed rISABELLE365f6a621fc5: clarified signature;.
clarified signature;
Mon, Sep 26, 8:49 PM

Thu, Sep 22

makarius committed rISABELLE769a7cd5a16a: clarified signature: re-use store/cache from build results;.
clarified signature: re-use store/cache from build results;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE005abcb34849: tuned signature;.
tuned signature;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLEd535db35388e: proper filter (amending fb4215da4919);.
proper filter (amending fb4215da4919);
Thu, Sep 22, 8:32 PM
makarius committed rISABELLEb80b2fbc46c3: clarified signature: persistent Node.source / Snapshot.source;.
clarified signature: persistent Node.source / Snapshot.source;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE258056f533ce: more examples;.
more examples;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE9d1819c28f67: clarified conditions: no_build is ok for presentation if "all_current" holds;.
clarified conditions: no_build is ok for presentation if "all_current" holds;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE5266830ee9ec: tuned;.
tuned;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE6bf42525f111: tuned signature;.
tuned signature;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLEfb4215da4919: clarified presentation_sessions: work with partial results;.
clarified presentation_sessions: work with partial results;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE544e81a2c9fc: tuned signature: removed unused operations;.
tuned signature: removed unused operations;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLE19978abbc111: tuned;.
tuned;
Thu, Sep 22, 8:32 PM
makarius committed rISABELLEa1f458f089b9: tuned comments;.
tuned comments;
Thu, Sep 22, 8:32 PM

Sun, Sep 18

makarius committed rISABELLE83d465d71fc6: clarified packaging;.
clarified packaging;
Sun, Sep 18, 4:02 PM
makarius committed rISABELLEd9380ef29276: merged.
merged
Sun, Sep 18, 4:02 PM
makarius committed rISABELLEff0ad0b304ca: Added tag Isabelle2022-RC2 for changeset 778152d51e97.
Added tag Isabelle2022-RC2 for changeset 778152d51e97
Sun, Sep 18, 4:02 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sun, Sep 18, 4:00 PM · isabelle-release
makarius committed rISABELLEc72c5407a86f: show SSH options in PIDE GUI;.
show SSH options in PIDE GUI;
Sun, Sep 18, 12:24 AM
makarius committed rISABELLE778152d51e97: inplace update: proper Linux version;.
inplace update: proper Linux version;
Sun, Sep 18, 12:00 AM

Sat, Sep 17

makarius created Blog Post: MLton compiler for x86_64-linux.
Sat, Sep 17, 11:40 PM
makarius committed rISABELLE63a6889c5f91: provide naproche-20220917;.
provide naproche-20220917;
Sat, Sep 17, 11:31 PM
makarius committed rISABELLE1a31d1551eb3: clarified NEWS;.
clarified NEWS;
Sat, Sep 17, 10:38 PM
makarius committed rISABELLE5f3983c42324: proper platform directory x86_64-linux, to have it purged for other platforms;.
proper platform directory x86_64-linux, to have it purged for other platforms;
Sat, Sep 17, 9:54 PM
makarius committed rISABELLE6259a90da890: MLton component for x86_64-linux;.
MLton component for x86_64-linux;
Sat, Sep 17, 6:17 PM
makarius committed rISABELLE74d6567c2274: clarified Docker base image;.
clarified Docker base image;
Sat, Sep 17, 6:17 PM
makarius committed rISABELLE8089593a364a: proper file headers;.
proper file headers;
Sat, Sep 17, 6:17 PM
makarius committed rISABELLE11fed9812b57: tuned messages;.
tuned messages;
Sat, Sep 17, 6:17 PM
makarius committed rISABELLEd27ed188e0c4: support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external….
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external…
Sat, Sep 17, 6:17 PM
makarius committed rISABELLE322f2e2799a7: omit menu for unfinished tool;.
omit menu for unfinished tool;
Sat, Sep 17, 6:17 PM
makarius committed rAFP59b24f0e98b1: merged.
merged
Sat, Sep 17, 6:16 PM
makarius committed rAFP3906f9f92b4d: support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;.
support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;
Sat, Sep 17, 6:16 PM
makarius committed rAFPb1e98098b68a: prefer (smt (verit)), which is potentially more stable under heavy load;.
prefer (smt (verit)), which is potentially more stable under heavy load;
Sat, Sep 17, 12:51 AM

Fri, Sep 16

makarius committed rISABELLE49b16832f173: include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";.
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
Fri, Sep 16, 11:50 PM
makarius committed rISABELLE1f95e9424341: more robust: snap version of docker cannot access /tmp;.
more robust: snap version of docker cannot access /tmp;
Fri, Sep 16, 11:50 PM
makarius committed rISABELLEb847a9983784: tuned signature;.
tuned signature;
Fri, Sep 16, 11:50 PM
makarius committed rISABELLEd6bd84eb94a3: update to scala-3.2.0;.
update to scala-3.2.0;
Fri, Sep 16, 11:50 PM
makarius committed rISABELLE4ff3cea76201: avoid crash of JLine on Windows;.
avoid crash of JLine on Windows;
Fri, Sep 16, 11:50 PM
makarius committed rISABELLEc8ab2316e3cb: update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu….
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu…
Fri, Sep 16, 11:50 PM
makarius committed rISABELLE5298a498738c: clarified default, following 8b695e59db3f;.
clarified default, following 8b695e59db3f;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLE81241a1d3d99: tuned signature;.
tuned signature;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLEf740d62a3470: tuned;.
tuned;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLE5912209b4fb6: clarified modules;.
clarified modules;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLEaab9bb081f01: clarified options;.
clarified options;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLEa3c694039fd6: discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;.
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
Fri, Sep 16, 3:33 PM
makarius committed rISABELLEe517a38dc0e6: clarified options;.
clarified options;
Fri, Sep 16, 3:33 PM

Thu, Sep 15

makarius committed rISABELLEcf469736000c: proper time values in seconds;.
proper time values in seconds;
Thu, Sep 15, 9:46 PM
makarius committed rISABELLEdbafa8d688fb: discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503)….
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503)…
Thu, Sep 15, 9:46 PM
makarius committed rISABELLE5e8bc80df6b3: clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support….
clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support…
Thu, Sep 15, 4:59 PM
makarius committed rISABELLE9df6f51ebf45: more robust, notably for macOS (see also ff92d6edff2c);.
more robust, notably for macOS (see also ff92d6edff2c);
Thu, Sep 15, 12:40 PM
makarius committed rISABELLEff92d6edff2c: back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid….
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid…
Thu, Sep 15, 12:40 PM
makarius committed rISABELLEd556db0b7256: tuned names;.
tuned names;
Thu, Sep 15, 12:08 PM
makarius created Blog Post: Isabelle/Scala SSH connections use OpenSSH executables.
Thu, Sep 15, 11:55 AM
makarius committed rISABELLE23c513c192ac: proper order of platforms, to make it work uniformly on all plaform families;.
proper order of platforms, to make it work uniformly on all plaform families;
Thu, Sep 15, 11:36 AM
makarius committed rISABELLE361cfb8e3648: more portable;.
more portable;
Thu, Sep 15, 12:21 AM

Wed, Sep 14

makarius committed rISABELLE0302bdf63a08: build both arm64-darwin and x86_64-darwin on Apple ARM hardware;.
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;
Wed, Sep 14, 11:54 PM
makarius committed rISABELLEff404465b20d: unused;.
unused;
Wed, Sep 14, 11:54 PM
makarius committed rISABELLEe73025785dc7: tuned message;.
tuned message;
Wed, Sep 14, 11:54 PM
makarius committed rWEBSITE0d0bd8a044ec: more items, following 74b12f22029c;.
more items, following 74b12f22029c;
Wed, Sep 14, 9:50 PM
makarius committed rISABELLE6149f7553ea9: more items;.
more items;
Wed, Sep 14, 9:50 PM
makarius committed rISABELLEdfddb80fc515: more robust: do not assume Bash syntax while testing for it;.
more robust: do not assume Bash syntax while testing for it;
Wed, Sep 14, 9:14 PM
makarius committed rISABELLEbf9f2f4069b9: obsolete;.
obsolete;
Wed, Sep 14, 8:59 PM
makarius committed rISABELLEa95196ef33f0: merged.
merged
Wed, Sep 14, 5:49 PM
makarius committed rISABELLE5c971c7fc807: more robust;.
more robust;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLE21492610ae5b: proper treatment of complex multi-line script;.
proper treatment of complex multi-line script;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLE769ebb139a32: support port forwarding without multiplexing (for the sake of Windows);.
support port forwarding without multiplexing (for the sake of Windows);
Wed, Sep 14, 5:49 PM
makarius committed rISABELLEccc748255342: more robust: Bash.string operations require remote bash;.
more robust: Bash.string operations require remote bash;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLEa64f3496d93a: clarified signature;.
clarified signature;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLE75f0fc965539: misc tuning and clarification;.
misc tuning and clarification;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLEa6bdf4b889ca: clarified signature;.
clarified signature;
Wed, Sep 14, 5:49 PM
makarius committed rISABELLE35a279a2d246: clarified signature;.
clarified signature;
Wed, Sep 14, 5:49 PM

Tue, Sep 13

makarius committed rISABELLEe8d4013c49d1: more robust adhoc shell script: work with Isabelle_System..
more robust adhoc shell script: work with Isabelle_System.
Tue, Sep 13, 10:42 PM
makarius committed rISABELLE1bb677cceea4: let rsync re-use ssh connection via control path;.
let rsync re-use ssh connection via control path;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLEa144603170b4: clarified command-line;.
clarified command-line;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLEc5fd7947f585: tuned signature;.
tuned signature;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLEc6e0a51f2a93: clarified command-line;.
clarified command-line;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLE2bb6eb6df6c2: proper port for Mercurial;.
proper port for Mercurial;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLE8b695e59db3f: clarified default: do not override port from ssh_config, which could be….
clarified default: do not override port from ssh_config, which could be…
Tue, Sep 13, 12:28 PM
makarius committed rISABELLEb703cecf9bd0: proper Scala expression;.
proper Scala expression;
Tue, Sep 13, 12:28 PM
makarius committed rISABELLE5979f73b9db1: clarified signature: separate unrelated modules;.
clarified signature: separate unrelated modules;
Tue, Sep 13, 12:28 PM