| Sat, 18 Jan 2025 12:43:24 +0100 |
wenzelm |
tuned source structure;
|
changeset |
files
|
| Sat, 18 Jan 2025 12:25:23 +0100 |
wenzelm |
tuned state operations;
|
changeset |
files
|
| Sat, 18 Jan 2025 12:08:13 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 18 Jan 2025 12:05:56 +0100 |
wenzelm |
misc tuning and clarification: prefer state operations, avoid redundant ctyp_of/cterm_of;
|
changeset |
files
|
| Sat, 18 Jan 2025 11:09:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 18 Jan 2025 11:03:18 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 18 Jan 2025 10:59:00 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 23 Jan 2025 13:42:58 +0100 |
Fabian Huch |
merged
|
changeset |
files
|
| Wed, 22 Jan 2025 15:05:29 +0100 |
Fabian Huch |
update to javamail-20250122;
|
changeset |
files
|
| Wed, 22 Jan 2025 22:22:37 +0000 |
paulson |
merged
|
changeset |
files
|
| Wed, 22 Jan 2025 22:22:27 +0000 |
paulson |
more tidying
|
changeset |
files
|
| Wed, 22 Jan 2025 14:43:26 +0100 |
Fabian Huch |
tuned messages;
|
changeset |
files
|
| Wed, 22 Jan 2025 11:23:35 +0100 |
Fabian Huch |
clarified: more arguments;
|
changeset |
files
|
| Wed, 22 Jan 2025 10:53:20 +0100 |
Fabian Huch |
explicit error message when Solr database does not exist;
|
changeset |
files
|
| Wed, 22 Jan 2025 10:35:17 +0100 |
Fabian Huch |
copy instead of symlink managed Find_Facts indexes: portable, and allows updating with local sessions;
|
changeset |
files
|
| Tue, 21 Jan 2025 17:28:09 +0100 |
Fabian Huch |
clarified CLI arg vs. option;
|
changeset |
files
|
| Tue, 21 Jan 2025 17:19:30 +0100 |
Fabian Huch |
clarified;
|
changeset |
files
|
| Tue, 21 Jan 2025 17:15:52 +0100 |
Fabian Huch |
clarified find_facts URL;
|
changeset |
files
|
| Tue, 21 Jan 2025 17:13:06 +0100 |
Fabian Huch |
clarified CLI options: web dir only in $FIND_FACTS_HOME_USER/web;
|
changeset |
files
|
| Tue, 21 Jan 2025 15:55:30 +0100 |
Fabian Huch |
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
|
changeset |
files
|
| Tue, 21 Jan 2025 15:31:57 +0100 |
Fabian Huch |
clarified: Find_Facts indexes instead of Solr components;
|
changeset |
files
|
| Tue, 21 Jan 2025 14:36:47 +0100 |
Fabian Huch |
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
|
changeset |
files
|
| Tue, 21 Jan 2025 11:17:05 +0100 |
Fabian Huch |
merged
|
changeset |
files
|
| Tue, 21 Jan 2025 11:15:34 +0100 |
Fabian Huch |
clarified: more operations;
|
changeset |
files
|
| Tue, 21 Jan 2025 11:14:00 +0100 |
Fabian Huch |
tuned default nightly start: less events at 00:17:00;
|
changeset |
files
|
| Tue, 21 Jan 2025 11:12:44 +0100 |
Fabian Huch |
use cycles in ci triggers;
|
changeset |
files
|
| Tue, 21 Jan 2025 10:05:40 +0100 |
Fabian Huch |
varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;
|
changeset |
files
|
| Mon, 20 Jan 2025 09:17:37 +0100 |
Fabian Huch |
clarified;
|
changeset |
files
|
| Fri, 17 Jan 2025 13:43:16 +0100 |
Fabian Huch |
tuned whitespace;
|
changeset |
files
|
| Thu, 16 Jan 2025 19:00:29 +0100 |
Fabian Huch |
add find_facts_index command to use within Isabelle/Scala;
|
changeset |
files
|
| Thu, 16 Jan 2025 18:37:23 +0100 |
Fabian Huch |
clarified: add afp_root argument;
|
changeset |
files
|
| Mon, 20 Jan 2025 22:20:14 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 20 Jan 2025 22:19:54 +0100 |
nipkow |
introduced/overloaded power operator ^^ lists
|
changeset |
files
|
| Mon, 20 Jan 2025 22:15:11 +0100 |
haftmann |
systematic checks for bit operations and more rules on symbolic terms
|
changeset |
files
|
| Mon, 20 Jan 2025 22:15:11 +0100 |
haftmann |
explicitly report dependencies on missing code equations
|
changeset |
files
|
| Sun, 19 Jan 2025 18:18:07 +0000 |
paulson |
simplified old proofs
|
changeset |
files
|
| Fri, 17 Jan 2025 23:00:13 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 17 Jan 2025 20:24:09 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 17 Jan 2025 20:24:02 +0000 |
paulson |
A variety of tweaks
|
changeset |
files
|
| Fri, 17 Jan 2025 23:15:47 +0100 |
wenzelm |
avoid legacy warnings in "test_code check in OCaml";
|
changeset |
files
|
| Fri, 17 Jan 2025 23:10:39 +0100 |
wenzelm |
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
|
changeset |
files
|
| Fri, 17 Jan 2025 22:38:15 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Fri, 17 Jan 2025 21:30:08 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 17 Jan 2025 20:30:01 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:56:34 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:46:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:40:56 +0100 |
wenzelm |
clarified pattern matching;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:30:26 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 17:01:43 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:49:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:22:49 +0100 |
wenzelm |
clarified exceptions and messages: use "error" only for user-errors, not system failures;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:13:48 +0100 |
wenzelm |
minor performance tuning: more elementary operations;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:03:35 +0100 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 15:39:40 +0100 |
wenzelm |
clarified inst_type: more direct Thm.instantiate_frees;
|
changeset |
files
|
| Fri, 17 Jan 2025 14:47:25 +0100 |
wenzelm |
more direct Thm.free: avoid re-certification;
|
changeset |
files
|
| Fri, 17 Jan 2025 14:31:48 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|