Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Yesterday

makarius committed rAFP75faf142b4be: eliminated odd clone (see Isabelle/caa5a257d3ed);.
eliminated odd clone (see Isabelle/caa5a257d3ed);
Sun, May 16, 7:47 PM
makarius committed rISABELLE7c7a59b76528: recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);.
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
Sun, May 16, 7:38 PM
makarius committed rISABELLE08def1cc6b33: avoid perl;.
avoid perl;
Sun, May 16, 4:57 PM
makarius committed rISABELLE7202e12cb324: tuned signature --- following hints by IntelliJ IDEA;.
tuned signature --- following hints by IntelliJ IDEA;
Sun, May 16, 1:53 PM
makarius committed rISABELLEd83e7e444b43: ignore session build timeout, notably in AFP;.
ignore session build timeout, notably in AFP;
Sun, May 16, 1:52 PM
makarius committed rISABELLE908351c8c0b1: check timeout_ignored as in ML, before applying timeout_scale;.
check timeout_ignored as in ML, before applying timeout_scale;
Sun, May 16, 1:52 PM

Sat, May 15

makarius committed rISABELLEc74e25de3c00: merged.
merged
Sat, May 15, 11:09 PM
makarius committed rISABELLE3d0952893db8: proper build of required session images vs. build with Mirabelle presentation;.
proper build of required session images vs. build with Mirabelle presentation;
Sat, May 15, 11:09 PM
makarius committed rISABELLEb6d444194280: clarified command-line;.
clarified command-line;
Sat, May 15, 11:09 PM
makarius committed rISABELLE0e7a5c7a14c8: reactive "sledgehammer";.
reactive "sledgehammer";
Sat, May 15, 11:09 PM
makarius committed rISABELLE03e134d5f867: reactive "sledgehammer_filter": statically correct, but untested (no….
reactive "sledgehammer_filter": statically correct, but untested (no…
Sat, May 15, 11:09 PM
makarius committed rISABELLE60519a7bfc53: clarified signature;.
clarified signature;
Sat, May 15, 11:09 PM
makarius committed rISABELLE2f9877db82a1: reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool….
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool…
Sat, May 15, 11:09 PM
makarius committed rISABELLE3ab18af9b2b5: clarified signature;.
clarified signature;
Sat, May 15, 11:09 PM
makarius committed rISABELLE9267a04aabe6: tuned;.
tuned;
Sat, May 15, 11:09 PM
makarius committed rISABELLE8444d4ff5646: clarified log content;.
clarified log content;
Sat, May 15, 11:09 PM
makarius committed rISABELLE8c4ba5f61223: unused (see 8ffc607c345d);.
unused (see 8ffc607c345d);
Sat, May 15, 11:09 PM
makarius committed rISABELLEcaa5a257d3ed: unused;.
unused;
Sat, May 15, 11:09 PM
makarius committed rISABELLE54fe8cc0e1c6: clarified signature: provide access to previous state;.
clarified signature: provide access to previous state;
Sat, May 15, 11:09 PM
makarius committed rISABELLEc17253cad5c6: tuned signature;.
tuned signature;
Sat, May 15, 11:09 PM
makarius committed rISABELLEb9aae426e51d: clarified signature (see Scala version);.
clarified signature (see Scala version);
Sat, May 15, 11:09 PM
makarius committed rISABELLEa63d76ba0a03: avoid duplicate loading of ML file;.
avoid duplicate loading of ML file;
Sat, May 15, 11:09 PM

Tue, May 11

makarius committed rISABELLE73c50ce808ed: basic setup of Isabelle setup tool --- pure Java, no dependencies;.
basic setup of Isabelle setup tool --- pure Java, no dependencies;
Tue, May 11, 9:59 PM
makarius committed rISABELLE51429b78aadf: merged.
merged
Tue, May 11, 9:59 PM
makarius committed rISABELLE6c56f2ebe157: guess package more directly;.
guess package more directly;
Tue, May 11, 9:59 PM
makarius committed rISABELLE70d3c7009a65: proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;.
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
Tue, May 11, 5:28 PM
makarius committed rISABELLE7404f2e1d092: clarified platforms;.
clarified platforms;
Tue, May 11, 5:28 PM
makarius committed rISABELLE4121fc47432b: merged.
merged
Tue, May 11, 2:29 PM
makarius committed rISABELLE02351b514b34: proper jEdit.props (amending ff716ecb0805);.
proper jEdit.props (amending ff716ecb0805);
Tue, May 11, 2:29 PM
makarius committed rISABELLE5e12dad8d09b: update to gmp-6.2.1, with support for arm64-darwin;.
update to gmp-6.2.1, with support for arm64-darwin;
Tue, May 11, 2:29 PM
makarius committed rISABELLE442460fba2a4: clarified platforms;.
clarified platforms;
Tue, May 11, 2:29 PM
makarius committed rISABELLE4d0df84a5b88: clarified options: implicitly support both x86_64 and arm64;.
clarified options: implicitly support both x86_64 and arm64;
Tue, May 11, 2:29 PM
makarius committed rISABELLE9ab1d5fa84d0: tuned whitespace;.
tuned whitespace;
Tue, May 11, 2:29 PM

Mon, May 10

makarius committed rISABELLE8b3e672df28c: proper build for fresh target directory (amending d9823224fcfe);.
proper build for fresh target directory (amending d9823224fcfe);
Mon, May 10, 10:58 PM
makarius committed rISABELLEff716ecb0805: put more resources into jedit_build component;.
put more resources into jedit_build component;
Mon, May 10, 10:58 PM
makarius committed rISABELLEaf82097b4adc: more brackets (see f6b453449cc6);.
more brackets (see f6b453449cc6);
Mon, May 10, 10:58 PM
makarius committed rISABELLEf6b453449cc6: more brackets;.
more brackets;
Mon, May 10, 10:58 PM
makarius committed rISABELLEdceb5dde442f: proper settings variable, amending 6e85281177df;.
proper settings variable, amending 6e85281177df;
Mon, May 10, 5:35 PM
makarius committed rISABELLE0476728f2887: merged.
merged
Mon, May 10, 5:14 PM
makarius committed rISABELLE26a1d66b9077: tuned proofs --- avoid z3, which is absent on arm64-linux;.
tuned proofs --- avoid z3, which is absent on arm64-linux;
Mon, May 10, 5:14 PM
makarius committed rISABELLE6e85281177df: proper condition: z3 could be absent, e.g. on arm64-linux;.
proper condition: z3 could be absent, e.g. on arm64-linux;
Mon, May 10, 5:14 PM
makarius committed rISABELLEd9823224fcfe: build auxiliary jEdit component in Isabelle/Scala;.
build auxiliary jEdit component in Isabelle/Scala;
Mon, May 10, 5:14 PM
makarius committed rISABELLE4fbbf421c376: tuned message;.
tuned message;
Mon, May 10, 5:14 PM
makarius committed rISABELLEd5c3eee7da74: separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);.
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
Mon, May 10, 5:14 PM
makarius committed rISABELLE9ce115baaa4f: clarified signature;.
clarified signature;
Mon, May 10, 5:14 PM
makarius committed rISABELLE029de1598940: tuned signature;.
tuned signature;
Mon, May 10, 5:14 PM

Fri, May 7

makarius committed rISABELLEa037f01aedab: tuned comments;.
tuned comments;
Fri, May 7, 7:34 PM
makarius committed rISABELLE078ad17eb934: misc updates and clarification;.
misc updates and clarification;
Fri, May 7, 7:34 PM
makarius committed rISABELLEdea7f6a2485e: clarified file name;.
clarified file name;
Fri, May 7, 7:34 PM
makarius committed rISABELLE9b4579e5bced: updated to polyml-5.8.2 (official release);.
updated to polyml-5.8.2 (official release);
Fri, May 7, 2:33 PM
makarius committed rISABELLE0da9e824255f: merged.
merged
Fri, May 7, 2:33 PM
makarius committed rISABELLEa2d3b4a90bca: proper option for linux_arm;.
proper option for linux_arm;
Fri, May 7, 2:33 PM
makarius committed rISABELLEac6f8fff036b: clarified default_platform_families (again);.
clarified default_platform_families (again);
Fri, May 7, 2:33 PM
makarius committed rISABELLEf4778e08dcd7: proper "$?";.
proper "$?";
Fri, May 7, 12:43 PM

Thu, May 6

makarius committed rISABELLEa6a9162f3ec1: tuned message;.
tuned message;
Thu, May 6, 11:50 PM
makarius committed rISABELLEe1432539df35: proper jvm_platform, notably for org.sqlite.lib.path;.
proper jvm_platform, notably for org.sqlite.lib.path;
Thu, May 6, 11:50 PM
makarius committed rISABELLE6945ac084763: clarified purge;.
clarified purge;
Thu, May 6, 11:50 PM
makarius committed rISABELLEf3a356c64193: support for platform family "linux_arm";.
support for platform family "linux_arm";
Thu, May 6, 11:50 PM
makarius committed rISABELLEc88faa1e09e1: support local build_heaps;.
support local build_heaps;
Thu, May 6, 11:50 PM
makarius committed rISABELLE3531d20cf2fd: removed junk;.
removed junk;
Thu, May 6, 11:50 PM
makarius committed rAFP718639187389: no hardwired document;.
no hardwired document;
Thu, May 6, 10:08 PM

Wed, May 5

makarius committed rISABELLE7e465e166bb2: merged.
merged
Wed, May 5, 10:46 PM
makarius committed rISABELLE7c70f10e0b3b: tuned --- rename = dist_name is sufficient;.
tuned --- rename = dist_name is sufficient;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf17caa5002df: proper dist_name;.
proper dist_name;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf2e836e013cb: clarified option -P: allow empty argument;.
clarified option -P: allow empty argument;
Wed, May 5, 10:46 PM
makarius committed rISABELLEa771807df752: support for existing release archive;.
support for existing release archive;
Wed, May 5, 10:46 PM
makarius committed rISABELLEac8feb094bd4: tuned signature;.
tuned signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLE0732f66ce514: more website content;.
more website content;
Wed, May 5, 10:46 PM
makarius committed rISABELLE27659455c592: clarified signature;.
clarified signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf033d4f661e9: tuned signature;.
tuned signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf8f065e20837: misc tuning and clarification: more explicit types Release_Context….
misc tuning and clarification: more explicit types Release_Context…
Wed, May 5, 10:46 PM

Mon, May 3

makarius committed rISABELLE4b413b78cd94: more robust indentation: proper line context after insert;.
more robust indentation: proper line context after insert;
Mon, May 3, 1:23 PM
makarius committed rISABELLEb0ea03e837b1: support nested cases;.
support nested cases;
Mon, May 3, 1:23 PM
makarius committed rISABELLE20d0abffee99: more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet()..
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().
Mon, May 3, 1:23 PM
makarius committed rISABELLE14757eb3b249: tuned;.
tuned;
Mon, May 3, 1:22 PM
makarius committed rISABELLEe768759ce6c5: tuned;.
tuned;
Mon, May 3, 1:22 PM
makarius committed rISABELLEc1d8cd6d1a49: early definition of ML antiquotations;.
early definition of ML antiquotations;
Mon, May 3, 1:22 PM
makarius committed rISABELLEf28df88c0d00: tuned;.
tuned;
Mon, May 3, 1:22 PM

Thu, Apr 29

makarius committed rISABELLEcc36841eeff6: clarified signature: more operations;.
clarified signature: more operations;
Thu, Apr 29, 10:53 PM
makarius committed rISABELLE6ba5f9d18c56: clarified signature: more operations;.
clarified signature: more operations;
Thu, Apr 29, 10:53 PM

Wed, Apr 28

makarius committed rISABELLE58b17dca57ef: clarified signature;.
clarified signature;
Wed, Apr 28, 11:24 PM
makarius committed rISABELLE6081885b9d06: tuned signature;.
tuned signature;
Wed, Apr 28, 11:24 PM
makarius committed rISABELLEfc13738e1933: clarified command-line, following other build_XYZ tools;.
clarified command-line, following other build_XYZ tools;
Wed, Apr 28, 11:24 PM
makarius committed rISABELLE460e7535df46: more recent OCaml and GHC stack: better support for Apple Silicon;.
more recent OCaml and GHC stack: better support for Apple Silicon;
Wed, Apr 28, 12:45 PM

Sun, Apr 25

makarius committed rISABELLE342362c9496c: clarified check of root process on Windows (NB: the winpid is less stable than….
clarified check of root process on Windows (NB: the winpid is less stable than…
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE51f7bda1bfa2: merged.
merged
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE51b291ae3e2d: avoid "exec" to change the winpid;.
avoid "exec" to change the winpid;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE37243ad3ecb6: fast approximation of test for process group (NB: initial process might already….
fast approximation of test for process group (NB: initial process might already…
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE19c558ea903c: clarified signature;.
clarified signature;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE328392479308: rebuild executable for x86_64-darwin;.
rebuild executable for x86_64-darwin;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE981df2e1f646: clarified command-line;.
clarified command-line;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE07a8ea094eb3: tuned comments;.
tuned comments;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLE461da479f95c: update Linux base-line;.
update Linux base-line;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLEe9e60be9928e: tuned signature;.
tuned signature;
Sun, Apr 25, 11:52 PM
makarius committed rISABELLEaece5cc9efb7: simplified typesetting of \<guillemotleft>...\<guillemotright>;.
simplified typesetting of \<guillemotleft>...\<guillemotright>;
Sun, Apr 25, 11:52 PM

Tue, Apr 20

makarius committed rISABELLEe60333aa18ca: proper use of antiquotations;.
proper use of antiquotations;
Tue, Apr 20, 10:56 PM
makarius committed rAFPf8e89e956d62: more realistic timeout;.
more realistic timeout;
Tue, Apr 20, 12:55 PM
makarius committed rAFP1ac0a5987165: tuned whitespace;.
tuned whitespace;
Tue, Apr 20, 12:55 PM

Mon, Apr 19

makarius committed rISABELLEc642c3cbbf0e: more documentation on "Conversions";.
more documentation on "Conversions";
Mon, Apr 19, 9:58 PM
makarius committed rAFPa32a85449094: adapted to Isabelle/a2c589d5e1e4;.
adapted to Isabelle/a2c589d5e1e4;
Mon, Apr 19, 7:26 PM