| 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 |