Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: command-line tools "isabelle hg_sync...

view this post on Zulip Email Gateway (Jun 11 2022 at 21:09):

From: Makarius <>
* System *

This refers to Isabelle/197a5b3a1ea2. Documentation is in the system manual,
as usual.

In more enlighted times (20-30 years ago), it was common-place to rsync
required sources and partial builds for remote testing. Today, there is a lot
of social pressure to do it via repository commits and "CI" instead --- but
there is no particular need for it, nor does it really solve the problem.

Now we have our own Isabelle tools, and can build more on top of that: e.g. a
high-end build cluster managed by slurm.

Presently the result of "isabelle sync" requires manual ssh invocation of a
suitable "isabelle build" command.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC