| Fri, 07 Feb 2025 22:23:24 +0100 |
Fabian Huch |
web component for Find_Facts: bundled assets and compiled elm app;
|
file |
diff |
annotate
|
| Fri, 07 Feb 2025 22:18:44 +0100 |
Fabian Huch |
clarified output file;
|
file |
diff |
annotate
|
| Wed, 05 Feb 2025 15:28:17 +0100 |
Fabian Huch |
css service, e.g. for dynamic web apps;
|
file |
diff |
annotate
|
| Wed, 05 Feb 2025 10:29:39 +0100 |
Fabian Huch |
clarified web;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 18:29:07 +0100 |
Fabian Huch |
more standard: let OS pick random port by default;
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 13:13:21 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2025 14:43:26 +0100 |
Fabian Huch |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2025 11:23:35 +0100 |
Fabian Huch |
clarified: more arguments;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 17:28:09 +0100 |
Fabian Huch |
clarified CLI arg vs. option;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 17:19:30 +0100 |
Fabian Huch |
clarified;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 17:15:52 +0100 |
Fabian Huch |
clarified find_facts URL;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 17:13:06 +0100 |
Fabian Huch |
clarified CLI options: web dir only in $FIND_FACTS_HOME_USER/web;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 15:55:30 +0100 |
Fabian Huch |
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 15:31:57 +0100 |
Fabian Huch |
clarified: Find_Facts indexes instead of Solr components;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2025 14:36:47 +0100 |
Fabian Huch |
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
|
file |
diff |
annotate
|
| Fri, 17 Jan 2025 13:43:16 +0100 |
Fabian Huch |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2025 19:00:29 +0100 |
Fabian Huch |
add find_facts_index command to use within Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2025 18:37:23 +0100 |
Fabian Huch |
clarified: add afp_root argument;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 22:40:56 +0100 |
wenzelm |
tuned messages: more verbosity;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 22:16:17 +0100 |
wenzelm |
more explicit default_port;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 22:05:22 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 21:26:30 +0100 |
wenzelm |
explicit settings FIND_FACTS_WEB and option -w, outside of source (immutable) directory;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 21:10:32 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 21:07:23 +0100 |
wenzelm |
implicit session build, similar to "isabelle export";
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 16:15:37 +0100 |
wenzelm |
proper Console_Progress as for other command-line tools;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 15:58:30 +0100 |
wenzelm |
clarified signature: progress is usually optional;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 14:23:18 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 14:14:30 +0100 |
wenzelm |
clarified signature and modules;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 13:27:11 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 00:05:01 +0100 |
wenzelm |
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
|
file |
diff |
annotate
|
| Sat, 11 Jan 2025 23:33:55 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Sat, 11 Jan 2025 23:24:32 +0100 |
wenzelm |
proper component src/Tools/Find_Facts;
|
file |
diff |
annotate
| base
|