(Jump to submission form)
The submission must build with the current Isabelle release version.
Submissions for older Isabelle versions are not accepted.
Submissions for the Isabelle development version are also acceptable,
but publication of the entry on the front page will be deferred until the
next Isabelle release. In the meantime the entry will only be visible on
the development pages.
In this case,
submit your article as described above. Because your article is tested
against the release version, this will fail (otherwise your article does
not need the development version!) and you cannot perform the final step
in the submission process. When that happens, simply copy the url of the
submission page at that point into an email to email@example.com.
To submit your contribution, you need to create a zip or tar archive containing all your theories, including a ROOT file. All files need to reside in a folder that has the same name as the short article name (see below). When submitting multiple entries at once, there must be one entry per folder and one ROOT file per entry. If you don't already have a ROOT file, refer to the system manual for how to create one.
There is also a self-contained
that contains further information, including the structure of the entry and its ROOT file.