Fri, 27 Jan 2023 13:57:52 +0000 |
paulson |
Shortened a messy proof
|
changeset |
files
|
Thu, 26 Jan 2023 13:59:51 +0000 |
paulson |
Moved in some material from the AFP entry Winding_number_eval
|
changeset |
files
|
Wed, 25 Jan 2023 22:00:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
Wed, 25 Jan 2023 21:49:08 +0100 |
wenzelm |
tuned messages: less verbosity;
|
changeset |
files
|
Wed, 25 Jan 2023 21:10:20 +0100 |
wenzelm |
prefer Other_Isabelle.init instead of adhoc scripts;
|
changeset |
files
|
Wed, 25 Jan 2023 20:52:36 +0100 |
wenzelm |
tuned message, following "isabelle components -a";
|
changeset |
files
|
Wed, 25 Jan 2023 20:42:24 +0100 |
wenzelm |
clean components more accurately: purge other platforms or archives;
|
changeset |
files
|
Wed, 25 Jan 2023 20:38:38 +0100 |
wenzelm |
more operations for SSH.System;
|
changeset |
files
|
Wed, 25 Jan 2023 15:26:23 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
Wed, 25 Jan 2023 15:18:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 25 Jan 2023 14:58:34 +0100 |
wenzelm |
manage other Isabelle distributions via SSH;
|
changeset |
files
|
Wed, 25 Jan 2023 14:51:13 +0100 |
wenzelm |
more operations for SSH.System;
|
changeset |
files
|
Wed, 25 Jan 2023 13:38:26 +0100 |
wenzelm |
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;
|
changeset |
files
|
Wed, 25 Jan 2023 13:16:43 +0100 |
wenzelm |
clarified parameters (again);
|
changeset |
files
|