| Wed, 09 Apr 2025 17:40:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 23:13:35 +0200 |
wenzelm |
clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
|
file |
diff |
annotate
|
| Tue, 11 Jun 2024 16:37:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:03:20 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 02 Jun 2024 13:36:24 +0200 |
wenzelm |
more robust: avoid crash of sleep() for negative time;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 21:49:50 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 15:03:13 +0200 |
wenzelm |
clarified comments;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 14:56:24 +0200 |
wenzelm |
proper support for remote cwd;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 14:33:38 +0200 |
wenzelm |
clarified context for (remote) bash scripts: export variables are optional, support cwd;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 22:10:11 +0200 |
wenzelm |
minor performance tuning: save approx. 70ms per SSH command;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 21:39:01 +0200 |
wenzelm |
minor performance tuning: save approx. 70ms per SSH command;
|
file |
diff |
annotate
|
| Fri, 31 May 2024 20:46:51 +0200 |
wenzelm |
suport Isabelle_System.bash via SSH.System;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 12:06:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2022 10:46:47 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 16:53:40 +0200 |
wenzelm |
more robust: client could have terminated already;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2021 12:04:55 +0200 |
wenzelm |
clarified process description;
|
file |
diff |
annotate
|
| Thu, 19 Aug 2021 12:01:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 22:23:37 +0200 |
wenzelm |
clarified signature: more options for bash_process;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 21:25:47 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 26 Jul 2021 13:04:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2021 13:46:42 +0200 |
wenzelm |
clarified modules and signatures;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 15:35:39 +0200 |
wenzelm |
clarified package: towards stand-alone setup;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 11:35:07 +0200 |
wenzelm |
clarified signature: prefer Java interfaces;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 20:52:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 20:02:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 13:45:46 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:34:27 +0200 |
wenzelm |
tuned signature --- following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Sun, 25 Apr 2021 22:33:15 +0200 |
wenzelm |
avoid "exec" to change the winpid;
|
file |
diff |
annotate
|
| Sun, 25 Apr 2021 21:12:59 +0200 |
wenzelm |
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
|
file |
diff |
annotate
|
| Thu, 22 Apr 2021 23:40:22 +0200 |
wenzelm |
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
|
file |
diff |
annotate
|
| Thu, 22 Apr 2021 23:03:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 22 Apr 2021 22:07:05 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:11:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 12:30:05 +0100 |
wenzelm |
clarified signature: process_result timing from Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 13:14:08 +0100 |
wenzelm |
more accurate process_result in ML, corresponding to Process_Result in Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 00:49:09 +0100 |
wenzelm |
clarified lines (again);
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 22:09:16 +0100 |
wenzelm |
more uniform Bash.process: always ask Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 20:39:15 +0100 |
wenzelm |
more robust: allow YXML text;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 16:31:43 +0100 |
wenzelm |
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 17:02:14 +0100 |
wenzelm |
clarified return code: re-use SIGALRM for soft timeout;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 16:07:25 +0100 |
wenzelm |
support for watchdog thread;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:58:18 +0200 |
wenzelm |
unused --- superseded by PIDE messages;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 21:04:33 +0200 |
wenzelm |
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 14:03:58 +0200 |
wenzelm |
terminate faster;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 13:59:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 13:54:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 13:40:44 +0200 |
wenzelm |
clarified interrupt handling;
|
file |
diff |
annotate
|
| Sat, 04 Apr 2020 18:13:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 14:27:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 18 Mar 2017 22:11:05 +0100 |
wenzelm |
more informative session result;
|
file |
diff |
annotate
|