Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Today

makarius committed rISABELLE6d8674ffb962: clarified signature;.
clarified signature;
Fri, Jul 30, 11:02 PM
makarius committed rISABELLE12c984b7d391: tuned signature;.
tuned signature;
Fri, Jul 30, 11:02 PM
makarius committed rISABELLE73487ebd7332: clarified signature;.
clarified signature;
Fri, Jul 30, 10:40 PM
makarius committed rISABELLEe5e95395258d: merged.
merged
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEe249650504f3: tuned;.
tuned;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;.
prefer Isabelle.Bytes, based on ShortByteString;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEadaa2e9a4111: tuned signature: more generic operations;.
tuned signature: more generic operations;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEf81d2a1cad69: tuned signature;.
tuned signature;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);.
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
Fri, Jul 30, 4:55 PM

Tue, Jul 27

makarius committed rISABELLEdc98bb7a439b: merged.
merged
Tue, Jul 27, 4:10 PM
makarius committed rISABELLEa69a13c4b049: support for native symlinks on Windows;.
support for native symlinks on Windows;
Tue, Jul 27, 4:10 PM
makarius committed rISABELLEb25b7c264a93: various improvements of "isabelle scala_project";.
various improvements of "isabelle scala_project";
Tue, Jul 27, 4:10 PM

Mon, Jul 26

makarius committed rISABELLE62e4ec8cff38: clarified signature;.
clarified signature;
Mon, Jul 26, 1:54 PM
makarius committed rISABELLE0b1462ce5fda: clarified signature;.
clarified signature;
Mon, Jul 26, 1:54 PM

Sun, Jul 25

makarius committed rISABELLEb3f072aa4690: updated for Isabelle2021 release;.
updated for Isabelle2021 release;
Sun, Jul 25, 4:38 PM
makarius committed rISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012….
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…
Sun, Jul 25, 4:21 PM
makarius committed rISABELLEff466b272267: clarified version: Apple now counts like 11, 12, ...;.
clarified version: Apple now counts like 11, 12, ...;
Sun, Jul 25, 4:21 PM
makarius committed rISABELLEd871882ad651: update to Haskell stack-2.7.3 and stackage lts-17.15;.
update to Haskell stack-2.7.3 and stackage lts-17.15;
Sun, Jul 25, 4:21 PM

Sat, Jul 24

makarius committed rISABELLE203dfa8bc0fc: clarified compiler output: allow multithreaded execution;.
clarified compiler output: allow multithreaded execution;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE4dbac13d89a5: clarified signature;.
clarified signature;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE8cd746a5c291: clarified signature: more operations;.
clarified signature: more operations;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE55505e7bbfb3: clarified props: more permissive;.
clarified props: more permissive;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE22ad3ac2152c: clarified properties: "module" and "no_build";.
clarified properties: "module" and "no_build";
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE4b15a1e25537: more robust;.
more robust;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLEfb8d5c0133c9: clarified signature;.
clarified signature;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE0ee44ed80290: clarified signature;.
clarified signature;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE9ce319c846d9: tuned comments;.
tuned comments;
Sat, Jul 24, 8:27 PM
makarius committed rISABELLE54a11c37d5bc: tuned document;.
tuned document;
Sat, Jul 24, 11:56 AM

Fri, Jul 23

makarius committed rISABELLEf34d54b0e5de: clarified names (again), e.g. relevant for "Plugin Options";.
clarified names (again), e.g. relevant for "Plugin Options";
Fri, Jul 23, 10:34 AM

Sun, Jul 18

makarius created Blog Post: Isabelle/Scala improvements.
Sun, Jul 18, 10:16 PM
makarius committed rISABELLE13c66810f7b0: tuned;.
tuned;
Sun, Jul 18, 10:13 PM
makarius committed rISABELLE68596ed5b7c2: NEWS;.
NEWS;
Sun, Jul 18, 9:54 PM
makarius committed rISABELLE6bf9f94198a7: updated documentation on Isabelle/Scala;.
updated documentation on Isabelle/Scala;
Sun, Jul 18, 9:54 PM
makarius committed rISABELLE8c213672f6f3: clarified component setup: exclude jar from active component, but use sources….
clarified component setup: exclude jar from active component, but use sources…
Sun, Jul 18, 4:39 PM
makarius committed rISABELLEaa36845ad5ad: discontinued obsolete Apple (deprecated);.
discontinued obsolete Apple (deprecated);
Sun, Jul 18, 4:39 PM
makarius committed rISABELLEb4f57bfe82e7: more robust "isabelle build_scala" as separate tool;.
more robust "isabelle build_scala" as separate tool;
Sun, Jul 18, 4:39 PM

Sat, Jul 17

makarius committed rISABELLEc13198575f75: tuned --- based on hints by IntelliJ IDEA;.
tuned --- based on hints by IntelliJ IDEA;
Sat, Jul 17, 11:13 PM
makarius committed rISABELLE57768f30d17c: more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in….
more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…
Sat, Jul 17, 10:51 PM
makarius committed rISABELLEec3249dd63dd: more portable across history;.
more portable across history;
Sat, Jul 17, 10:22 PM
makarius committed rISABELLEd6ae3a7d9cb0: proper isabelle.setup.Setup build;.
proper isabelle.setup.Setup build;
Sat, Jul 17, 10:22 PM
makarius committed rISABELLEa5e2654cfe28: rebuild component;.
rebuild component;
Sat, Jul 17, 10:05 PM
makarius committed rISABELLEc9ec6f03ab91: more complete scala_project, including Isabelle/jEdit plugins;.
more complete scala_project, including Isabelle/jEdit plugins;
Sat, Jul 17, 10:05 PM
makarius committed rISABELLE39e05601faeb: more accurate scala_project, based on build.props of components;.
more accurate scala_project, based on build.props of components;
Sat, Jul 17, 10:05 PM
makarius committed rISABELLE09821ca262d3: clarified directories;.
clarified directories;
Sat, Jul 17, 10:05 PM
makarius committed rISABELLE77cc23b550e9: tuned;.
tuned;
Sat, Jul 17, 10:05 PM
makarius committed rISABELLE0701ff55780d: clarified build_props: empty module means no build;.
clarified build_props: empty module means no build;
Sat, Jul 17, 10:05 PM

Fri, Jul 16

makarius committed rISABELLEc4c612d92fcc: merged.
merged
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE19ad7a099992: rebuild component;.
rebuild component;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEd609fa3e816d: more robust;.
more robust;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEfd4b4385ad3c: more robust: for the sake of Isabelle.app on macOS;.
more robust: for the sake of Isabelle.app on macOS;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEbad67fa41e71: more robust;.
more robust;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEdfcef9ad5f45: more robust;.
more robust;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE483c200545c8: more robust;.
more robust;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE08cece720cb5: rebuild component;.
rebuild component;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE9d6c9a55f450: more informative errors: capture low-level compiler output;.
more informative errors: capture low-level compiler output;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEb4e6b82fdb9e: more direct isabelle_scala_build: always enabled, no "Admin" requirement;.
more direct isabelle_scala_build: always enabled, no "Admin" requirement;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE12b1f4649ab1: clarified names;.
clarified names;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE027fb21bdd5d: tuned --- fewer warnings;.
tuned --- fewer warnings;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLEf114e11fe21d: clarified directory;.
clarified directory;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE3b8b1da2ff29: tuned --- fewer warnings;.
tuned --- fewer warnings;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE341941afe827: clarified names;.
clarified names;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE1d366486a812: clarified component setup for old graph browser;.
clarified component setup for old graph browser;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE4f60db51a263: redundant: *.class and *.jar are already ignored;.
redundant: *.class and *.jar are already ignored;
Fri, Jul 16, 11:03 PM
makarius committed rISABELLE10abe3049bec: proper cat_lines: avoid last "\n";.
proper cat_lines: avoid last "\n";
Fri, Jul 16, 11:03 PM

Thu, Jul 15

makarius committed rAFPc6645d183e9b: more realistic timeout: 50min CPU time;.
more realistic timeout: 50min CPU time;
Thu, Jul 15, 11:33 PM
makarius committed rISABELLE5c8a0580d513: merged.
merged
Thu, Jul 15, 11:21 PM
makarius committed rISABELLEe6e49f9cafd8: NEWS;.
NEWS;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLEf2d16e75bcf1: proper example;.
proper example;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLE118057a1093b: more tests;.
more tests;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLE4313e6c9969a: more robust: component might be absent;.
more robust: component might be absent;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLE0f61cd0ce803: tuned signature;.
tuned signature;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLEb3f2da6bef51: more robust (again): allow to deactivate main plugin;.
more robust (again): allow to deactivate main plugin;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLE6b213c0115f5: clarified global state: allow to deactivate main plugin;.
clarified global state: allow to deactivate main plugin;
Thu, Jul 15, 11:21 PM
makarius committed rISABELLEfbb30dac95a2: clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;.
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEf3409ced4df2: more complete dockables;.
more complete dockables;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEde82b1251971: more robust (see 4d91b6d5d49c);.
more robust (see 4d91b6d5d49c);
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE9f42f2a80ef3: avoid non-standard encoding;.
avoid non-standard encoding;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEfecbf83ab281: tuned;.
tuned;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE3868fed3c34b: more robust;.
more robust;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE842fc354c031: more robust classpath: skip empty entries;.
more robust classpath: skip empty entries;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE678e1c9eb009: more robust: avoid duplicate classpath entries;.
more robust: avoid duplicate classpath entries;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE778ab9983f40: proper cross-platform build: jdk component is required for….
proper cross-platform build: jdk component is required for…
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEfc363a3b690a: build.props for isabelle.jar, including isabelle.jedit;.
build.props for isabelle.jar, including isabelle.jedit;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLE13168094175b: more robust;.
more robust;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086);.
proper lines (amending 59b6f0462086);
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEeb7112f467a8: more portable: avoid Windows CRLF in classpath output;.
more portable: avoid Windows CRLF in classpath output;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEe2913fc81142: more systematic treatment of encodings;.
more systematic treatment of encodings;
Thu, Jul 15, 11:20 PM
makarius committed rISABELLEc1277bb04507: tuned;.
tuned;
Thu, Jul 15, 11:20 PM

Sun, Jul 11

makarius committed rISABELLE90652c0ef969: shasum for project meta-info;.
shasum for project meta-info;
Sun, Jul 11, 9:32 PM
makarius committed rISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223);.
even more strict shasum (amending c9771e1b3223);
Sun, Jul 11, 9:32 PM
makarius committed rISABELLEc9771e1b3223: strict shasum: this is used on input files;.
strict shasum: this is used on input files;
Sun, Jul 11, 9:32 PM
makarius committed rISABELLEf6862d5f4e7f: clarified Isabelle meta-info within jar;.
clarified Isabelle meta-info within jar;
Sun, Jul 11, 9:32 PM
makarius committed rISABELLE59b6f0462086: clarified modules;.
clarified modules;
Sun, Jul 11, 6:33 PM
makarius committed rISABELLE5351719ab2a0: support for command-line operations;.
support for command-line operations;
Sun, Jul 11, 6:33 PM
makarius committed rISABELLEf090787bb4c4: operations for all components;.
operations for all components;
Sun, Jul 11, 6:33 PM
makarius committed rISABELLE027f837d18ee: clarified signature;.
clarified signature;
Sun, Jul 11, 6:33 PM

Fri, Jul 9

makarius committed rISABELLEe17f76705cee: merged.
merged
Fri, Jul 9, 10:04 PM
makarius committed rISABELLE262dc3bafd15: rebuild component;.
rebuild component;
Fri, Jul 9, 10:04 PM
makarius committed rISABELLE110a027a5473: expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;.
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
Fri, Jul 9, 10:04 PM
makarius committed rISABELLE2b9ae1aa9257: skip scalac for Java build;.
skip scalac for Java build;
Fri, Jul 9, 10:04 PM