Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
makariusrISABELLE268bf61631ec: more robust options in "prefs" format: avoid odd control character;
makarius mentioned this in rISABELLE8c64e51d9dde: unused (see 268bf61631ec);. 
Mar 11 2023, 5:01 PM
paulson <lp15@cam.ac.uk>rAFP46095fe69914: tidied a bit more
paulson <lp15@cam.ac.uk> committed rAFP46095fe69914: tidied a bit more. 
Mar 11 2023, 4:37 PM
makariusrISABELLE0212956aaf73: more accurate shasum_meta_info;
makarius committed rISABELLE0212956aaf73: more accurate shasum_meta_info;. 
Mar 11 2023, 4:21 PM
makariusrISABELLE58b7f3fb73cb: tuned signature;
makarius committed rISABELLE58b7f3fb73cb: tuned signature;. 
Mar 11 2023, 4:11 PM
makariusrISABELLE29effd67d8a8: support "isabelle options -l -t TAGS";
makarius committed rISABELLE29effd67d8a8: support "isabelle options -l -t TAGS";. 
Mar 11 2023, 2:49 PM
makariusrISABELLEfaaa3e311281: NEWS;
makarius committed rISABELLEfaaa3e311281: NEWS;. 
Mar 11 2023, 2:19 PM
makariusrISABELLEb619d80f61fa: clarified signature;
makarius committed rISABELLEb619d80f61fa: clarified signature;. 
Mar 11 2023, 2:18 PM
makariusrISABELLE44f7b76d1106: tuned;
makarius committed rISABELLE44f7b76d1106: tuned;. 
Mar 11 2023, 1:37 PM
makariusrISABELLE3e235fab64db: avoid hard-wired stuff (see also 78f2475aa126);
makarius committed rISABELLE3e235fab64db: avoid hard-wired stuff (see also 78f2475aa126);. 
Mar 11 2023, 1:31 PM
makariusrISABELLE606ac3fae270: clarified tags;
makarius committed rISABELLE606ac3fae270: clarified tags;. 
Mar 11 2023, 12:48 PM
makariusrISABELLE3b09ae9e40cb: clarified session prefs (or "options" within the database);
makarius committed rISABELLE3b09ae9e40cb: clarified session prefs (or "options" within the database);. 
Mar 11 2023, 12:41 PM
makariusrISABELLEa45cce93529c: tuned signature;
makarius committed rISABELLEa45cce93529c: tuned signature;. 
Mar 11 2023, 11:51 AM
makariusrISABELLEeaa6b47fab2c: tuned comments;
makarius committed rISABELLEeaa6b47fab2c: tuned comments;. 
Mar 11 2023, 11:43 AM
makariusrISABELLE8c64e51d9dde: unused (see 268bf61631ec);
makarius committed rISABELLE8c64e51d9dde: unused (see 268bf61631ec);. 
Mar 11 2023, 11:36 AM
makariusrISABELLEb0a4f8c29446: clarified exported options;
makarius committed rISABELLEb0a4f8c29446: clarified exported options;. 
Mar 11 2023, 11:31 AM
makariusrISABELLEbc1248c5d159: clarified signature;
makarius committed rISABELLEbc1248c5d159: clarified signature;. 
Mar 11 2023, 11:24 AM
makariusrISABELLEb4ef44ce08ed: do not export connection details (password etc.);
makarius committed rISABELLEb4ef44ce08ed: do not export connection details (password etc.);. 
Mar 11 2023, 11:14 AM
makariusrISABELLE236e43c8bb5b: support option tags;
makarius committed rISABELLE236e43c8bb5b: support option tags;. 
Mar 11 2023, 11:13 AM
paulsonrAFP24a6728f4957: merged
paulson committed rAFP24a6728f4957: merged. 
Mar 10 2023, 9:47 PM
paulson <lp15@cam.ac.uk>rAFP54833a954ca1: More tidying
paulson <lp15@cam.ac.uk> committed rAFP54833a954ca1: More tidying. 
Mar 10 2023, 9:46 PM
blanchetterISABELLE7c25451ae2c1: use simplifier to classify the missing assumptions in Sledgehammer's abduction…
blanchette committed rISABELLE7c25451ae2c1: use simplifier to classify the missing assumptions in Sledgehammer's abduction…. 
Mar 10 2023, 3:27 PM
blanchetterISABELLEd39027e1c8c5: don't try to falisfy goals with schematics
blanchette committed rISABELLEd39027e1c8c5: don't try to falisfy goals with schematics. 
Mar 10 2023, 11:56 AM
Christian Urban <christian.urban@kcl.ac.uk>rAFPe4aa06dc53db: completed the addtion of Rec in the Extension directory
Christian Urban <christian.urban@kcl.ac.uk> committed rAFPe4aa06dc53db: completed the addtion of Rec in the Extension directory. 
Mar 10 2023, 2:05 AM
Christian Urban <christian.urban@kcl.ac.uk>rAFPdd116d701acc: added another regular expression for Record
Christian Urban <christian.urban@kcl.ac.uk> committed rAFPdd116d701acc: added another regular expression for Record. 
Mar 10 2023, 1:18 AM
makariusrISABELLEe5b09ff7d72f: enforce rebuild of Isabelle/ML;
makarius committed rISABELLEe5b09ff7d72f: enforce rebuild of Isabelle/ML;. 
Mar 9 2023, 2:29 PM
makariusrISABELLE2b4e5861f882: more robust transactions;
makarius committed rISABELLE2b4e5861f882: more robust transactions;. 
Mar 9 2023, 12:55 PM
makariusrISABELLE6370d9e5ab50: proper support for Option[Date] columns;
makarius committed rISABELLE6370d9e5ab50: proper support for Option[Date] columns;. 
Mar 9 2023, 12:54 PM
makariusrISABELLE308f3f48c2c7: more robust transactions;
makarius committed rISABELLE308f3f48c2c7: more robust transactions;. 
Mar 9 2023, 12:13 PM
makariusrISABELLEdd8b08729458: clarified signature;
makarius committed rISABELLEdd8b08729458: clarified signature;. 
Mar 9 2023, 11:55 AM
paulson <lp15@cam.ac.uk>rAFP73a4cab84e29: More tidying of the Ordinal entry
paulson <lp15@cam.ac.uk> committed rAFP73a4cab84e29: More tidying of the Ordinal entry. 
Mar 9 2023, 12:11 AM
makariusrISABELLE7723cf88658f: proper test (amending 32f9e75c92e9);
makarius added an edge: rISABELLE32f9e75c92e9: clarified worker state: always maintain database content via worker_uuid;. 
Mar 8 2023, 11:20 PM
makariusrISABELLE32f9e75c92e9: clarified worker state: always maintain database content via worker_uuid;
makarius mentioned this in rISABELLE7723cf88658f: proper test (amending 32f9e75c92e9);. 
Mar 8 2023, 11:20 PM
makariusrISABELLE832139c1b268: proper shasum lines (amending 3070001c9d1f);
makarius added an edge: rISABELLE3070001c9d1f: tuned signature;. 
Mar 8 2023, 11:20 PM
makariusrISABELLE3070001c9d1f: tuned signature;
makarius mentioned this in rISABELLE832139c1b268: proper shasum lines (amending 3070001c9d1f);. 
Mar 8 2023, 11:20 PM
makariusrISABELLE4e4aaec82be4: enforce rebuild of Isabelle/ML;
makarius committed rISABELLE4e4aaec82be4: enforce rebuild of Isabelle/ML;. 
Mar 8 2023, 10:43 PM
makariusrISABELLE7723cf88658f: proper test (amending 32f9e75c92e9);
makarius committed rISABELLE7723cf88658f: proper test (amending 32f9e75c92e9);. 
Mar 8 2023, 10:42 PM
makariusrISABELLE08ed864fed24: updated to sqlite-jdbc-3.41.0.0;
makarius committed rISABELLE08ed864fed24: updated to sqlite-jdbc-3.41.0.0;. 
Mar 8 2023, 10:40 PM
makariusrISABELLE832139c1b268: proper shasum lines (amending 3070001c9d1f);
makarius committed rISABELLE832139c1b268: proper shasum lines (amending 3070001c9d1f);. 
Mar 8 2023, 10:40 PM
makariusrISABELLE3f3dcf9f53f1: more robust transactions;
makarius committed rISABELLE3f3dcf9f53f1: more robust transactions;. 
Mar 8 2023, 10:22 PM
makariusrISABELLEf78286d2e30f: follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and…
makarius added an edge: rISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…. 
Mar 8 2023, 10:22 PM
makariusrISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…
makarius mentioned this in rISABELLEf78286d2e30f: follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and…. 
Mar 8 2023, 10:22 PM
makariusrISABELLEedc96be6b939: explicit locking for PostgreSQL --- neither available nor required for SQLite;
makarius committed rISABELLEedc96be6b939: explicit locking for PostgreSQL --- neither available nor required for SQLite;. 
Mar 8 2023, 10:08 PM
makariusrISABELLE46a033c4701b: merged
makarius committed rISABELLE46a033c4701b: merged. 
Mar 8 2023, 8:19 PM
blanchetterISABELLE80bcebe6cf33: require the presence of free variables to do abduction in Sledgehammer
blanchette committed rISABELLE80bcebe6cf33: require the presence of free variables to do abduction in Sledgehammer. 
Mar 8 2023, 5:51 PM
makariusrISABELLE066d5df144f0: assume total operation: ProcessHandle.current().info.startInstant appears to…
makarius committed rISABELLE066d5df144f0: assume total operation: ProcessHandle.current().info.startInstant appears to…. 
Mar 8 2023, 3:57 PM
makariusrISABELLE8036d5f12997: more database content, e.g. for monitoring;
makarius committed rISABELLE8036d5f12997: more database content, e.g. for monitoring;. 
Mar 8 2023, 3:50 PM
makariusrISABELLE80021d645a01: tuned structure;
makarius committed rISABELLE80021d645a01: tuned structure;. 
Mar 8 2023, 3:25 PM
makariusrISABELLE89c42ec77a84: tuned signature;
makarius committed rISABELLE89c42ec77a84: tuned signature;. 
Mar 8 2023, 3:22 PM
makariusrISABELLE42922317b676: more database content, e.g. for monitoring;
makarius committed rISABELLE42922317b676: more database content, e.g. for monitoring;. 
Mar 8 2023, 3:15 PM
makariusrISABELLE9af2afc3f7b3: more explicit workers, e.g. for monitoring;
makarius committed rISABELLE9af2afc3f7b3: more explicit workers, e.g. for monitoring;. 
Mar 8 2023, 2:45 PM
makariusrISABELLE93f4b9164b9f: tuned;
makarius committed rISABELLE93f4b9164b9f: tuned;. 
Mar 8 2023, 2:22 PM
makariusrISABELLE661d29a291ea: tuned;
makarius committed rISABELLE661d29a291ea: tuned;. 
Mar 8 2023, 2:21 PM
makariusrISABELLE32f9e75c92e9: clarified worker state: always maintain database content via worker_uuid;
makarius committed rISABELLE32f9e75c92e9: clarified worker state: always maintain database content via worker_uuid;. 
Mar 8 2023, 1:36 PM
makariusrISABELLE69d3547206db: clarified signature: prefer Build_Process.Context for parameters;
makarius committed rISABELLE69d3547206db: clarified signature: prefer Build_Process.Context for parameters;. 
Mar 8 2023, 1:33 PM
makariusrISABELLE149d48a4801b: support for "isabelle build -j0": require external workers to make progress;
makarius committed rISABELLE149d48a4801b: support for "isabelle build -j0": require external workers to make progress;. 
Mar 8 2023, 11:26 AM
makariusrISABELLEf78286d2e30f: follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and…
makarius committed rISABELLEf78286d2e30f: follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and…. 
Mar 8 2023, 10:47 AM
nipkowrISABELLE72a99b54e206: removed exercise solution
nipkow committed rISABELLE72a99b54e206: removed exercise solution. 
Mar 8 2023, 10:12 AM
nipkowrISABELLEc2603cc154fa: merged
nipkow committed rISABELLEc2603cc154fa: merged. 
Mar 8 2023, 8:10 AM
nipkowrISABELLE237e5504bae7: new theory Tree_Rotations
nipkow committed rISABELLE237e5504bae7: new theory Tree_Rotations. 
Mar 8 2023, 8:10 AM
paulson <lp15@cam.ac.uk>rAFP2ca1a618d041: A massive tidying
paulson <lp15@cam.ac.uk> committed rAFP2ca1a618d041: A massive tidying. 
Mar 8 2023, 12:41 AM
makariusrISABELLEcbb49fe8e5a2: renamed "isabelle log" to "isabelle build_log";
makarius mentioned this in rISABELLE7c0c5bce3e60: proper tool name (amending cbb49fe8e5a2);. 
Mar 7 2023, 11:44 PM
makariusrISABELLE7c0c5bce3e60: proper tool name (amending cbb49fe8e5a2);
makarius added an edge: rISABELLEcbb49fe8e5a2: renamed "isabelle log" to "isabelle build_log";. 
Mar 7 2023, 11:44 PM
makariusrISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…
makarius mentioned this in rISABELLE643146163fd1: proper file-name (amending b975f5aaf6b8);. 
Mar 7 2023, 11:44 PM
makariusrISABELLE643146163fd1: proper file-name (amending b975f5aaf6b8);
makarius added an edge: rISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…. 
Mar 7 2023, 11:44 PM
makariusrISABELLE7c0c5bce3e60: proper tool name (amending cbb49fe8e5a2);
makarius committed rISABELLE7c0c5bce3e60: proper tool name (amending cbb49fe8e5a2);. 
Mar 7 2023, 11:32 PM
makariusrISABELLE643146163fd1: proper file-name (amending b975f5aaf6b8);
makarius committed rISABELLE643146163fd1: proper file-name (amending b975f5aaf6b8);. 
Mar 7 2023, 11:26 PM
makariusrISABELLE98b4a9902582: tuned headers;
makarius committed rISABELLE98b4a9902582: tuned headers;. 
Mar 7 2023, 11:24 PM
makariusrISABELLEa8fa53c086a4: eliminated suspicious Unicode characters;
makarius committed rISABELLEa8fa53c086a4: eliminated suspicious Unicode characters;. 
Mar 7 2023, 11:09 PM
makariusrISABELLE13b53fae16f3: tuned whitespace;
makarius committed rISABELLE13b53fae16f3: tuned whitespace;. 
Mar 7 2023, 11:08 PM
makariusrISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…
makarius committed rISABELLEb975f5aaf6b8: renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to…. 
Mar 7 2023, 11:02 PM
makariusrISABELLE2a99fcb283ee: renamed administrative tools to build Isabelle components (unrelated to…
makarius committed rISABELLE2a99fcb283ee: renamed administrative tools to build Isabelle components (unrelated to…. 
Mar 7 2023, 10:54 PM
makariusrISABELLEfd87490429aa: renamed "isabelle build_components" to "isabelle components_build" (unrelated…
makarius committed rISABELLEfd87490429aa: renamed "isabelle build_components" to "isabelle components_build" (unrelated…. 
Mar 7 2023, 10:28 PM
makariusrISABELLE57551ee13cfd: sort lines;
makarius committed rISABELLE57551ee13cfd: sort lines;. 
Mar 7 2023, 10:21 PM
makariusrISABELLEcbb49fe8e5a2: renamed "isabelle log" to "isabelle build_log";
makarius committed rISABELLEcbb49fe8e5a2: renamed "isabelle log" to "isabelle build_log";. 
Mar 7 2023, 10:17 PM
makariusrISABELLE14f1fa94f0a5: clarified structure;
makarius committed rISABELLE14f1fa94f0a5: clarified structure;. 
Mar 7 2023, 4:23 PM
nipkowrAFP2ad1cd4a0982: New entry Probability_Inequality_Completeness
nipkow committed rAFP2ad1cd4a0982: New entry Probability_Inequality_Completeness. 
Mar 7 2023, 1:31 PM
makariusrISABELLEa24d77f2cfe9: tuned output;
makarius committed rISABELLEa24d77f2cfe9: tuned output;. 
Mar 7 2023, 12:50 PM
makariusrISABELLE5749ee7c45a0: clarified signature: proper abstract type;
makarius committed rISABELLE5749ee7c45a0: clarified signature: proper abstract type;. 
Mar 7 2023, 12:40 PM
makariusrISABELLE4ad322ee6025: clarified signature: support all arguments of Sessions.store();
makarius committed rISABELLE4ad322ee6025: clarified signature: support all arguments of Sessions.store();. 
Mar 7 2023, 12:21 PM
makariusrISABELLE2d06b514b363: tuned;
makarius committed rISABELLE2d06b514b363: tuned;. 
Mar 7 2023, 12:15 PM
makariusrISABELLEeff08c3f89fe: basic setup for "isabelle build_worker";
makarius committed rISABELLEeff08c3f89fe: basic setup for "isabelle build_worker";. 
Mar 7 2023, 12:06 PM
makariusrISABELLE911548e4f228: tuned comments;
makarius committed rISABELLE911548e4f228: tuned comments;. 
Mar 7 2023, 12:03 PM
makariusrISABELLEd45a01c41fe2: tuned structure;
makarius committed rISABELLEd45a01c41fe2: tuned structure;. 
Mar 7 2023, 11:13 AM
makariusrISABELLE4465d9dff448: clarified terminology of "session build database", while "build database" is…
makarius committed rISABELLE4465d9dff448: clarified terminology of "session build database", while "build database" is…. 
Mar 7 2023, 10:57 AM
makariusrISABELLE570f65953173: clarified modules;
makarius committed rISABELLE570f65953173: clarified modules;. 
Mar 7 2023, 10:16 AM
makariusrISABELLE69af424b1f9d: less verbosity, amending 3bc49507bae5;
makarius added an edge: rISABELLE3bc49507bae5: clarified treatment of "verbose" messages, e.g. Progress.theory();. 
Mar 6 2023, 10:07 PM
makariusrISABELLE3bc49507bae5: clarified treatment of "verbose" messages, e.g. Progress.theory();
makarius mentioned this in rISABELLE69af424b1f9d: less verbosity, amending 3bc49507bae5;. 
Mar 6 2023, 10:07 PM
makariusrISABELLE080422b3d914: clarified signature: reduce boilerplate;
makarius committed rISABELLE080422b3d914: clarified signature: reduce boilerplate;. 
Mar 6 2023, 9:12 PM
makariusrISABELLEae6df8a8685a: clarified messages;
makarius committed rISABELLEae6df8a8685a: clarified messages;. 
Mar 6 2023, 7:37 PM
makariusrISABELLEed2f53e1552c: tuned signature;
makarius committed rISABELLEed2f53e1552c: tuned signature;. 
Mar 6 2023, 7:18 PM
makariusrISABELLE6339c3a3720b: tuned structure;
makarius committed rISABELLE6339c3a3720b: tuned structure;. 
Mar 6 2023, 7:13 PM
makariusrISABELLE28b94fe1c00f: clarified signature;
makarius committed rISABELLE28b94fe1c00f: clarified signature;. 
Mar 6 2023, 7:09 PM
makariusrISABELLE1d8a12d1c2e9: clarified signature;
makarius committed rISABELLE1d8a12d1c2e9: clarified signature;. 
Mar 6 2023, 6:58 PM
makariusrISABELLE9b9179cda155: clarified build process roles: "worker" vs. "build";
makarius committed rISABELLE9b9179cda155: clarified build process roles: "worker" vs. "build";. 
Mar 6 2023, 5:29 PM
makariusrISABELLE4af88aca2a4f: clarified database content;
makarius committed rISABELLE4af88aca2a4f: clarified database content;. 
Mar 6 2023, 4:20 PM
makariusrISABELLE42c1e5d4ed14: tuned: prefer iterator.nextOption;
makarius committed rISABELLE42c1e5d4ed14: tuned: prefer iterator.nextOption;. 
Mar 6 2023, 4:06 PM
makariusrISABELLE97b5547f2b17: tuned whitespace and braces;
makarius committed rISABELLE97b5547f2b17: tuned whitespace and braces;. 
Mar 6 2023, 3:56 PM
makariusrISABELLE2da5562114c5: clarified signature: more uniform operations;
makarius committed rISABELLE2da5562114c5: clarified signature: more uniform operations;. 
Mar 6 2023, 3:48 PM
makariusrISABELLE9d9b30741fc4: tuned signature: reduce boilerplate;
makarius committed rISABELLE9d9b30741fc4: tuned signature: reduce boilerplate;. 
Mar 6 2023, 3:38 PM
makariusrISABELLEc537905c2125: tuned signature;
makarius committed rISABELLEc537905c2125: tuned signature;. 
Mar 6 2023, 3:12 PM
First
Prev
Next