Page MenuHomeIsabelle/Phabricator

Recent Posts

Command-line tool "isabelle scala_project"

Written by makarius on Wed, Jan 15, 3:34 PM in Isabelle NEWS.
  • The command-line tool "isabelle scala_project" creates a Gradle project configuration for Isabelle/Scala/jEdit, to support Scala IDEs such as IntelliJ IDEA.

Plan for Isabelle2020 release

Written by makarius on Sun, Dec 22, 6:08 PM in Isabelle Release.

The next anticipated release is Isabelle2020 (June 2020). The hot phase with release candidates will presumably be Apr/May/Jun-2020. Everything needs to be finished and published before IJCAR 2020 / Isabelle Workshop 2020 in Paris.


Command-line tool "isabelle hg_setup"

Written by makarius on Dec 19 2019, 8:43 PM in Isabelle NEWS.
  • The command-line tool "isabelle hg_setup" simplifies the setup of Mercurial repositories, with hosting via Phabricator or SSH file server access.

Isabelle/Phabricator setup

Written by makarius on Dec 16 2019, 9:28 PM in Isabelle NEWS.
  • The command-line tool "isabelle phabricator_setup" facilitates self-hosting of the Phabricator software-development platform, with support for Git, Mercurial, Subversion repositories. This helps to avoid monoculture and to escape the gravity of centralized version control by Github and/or Bitbucket. For further documentation, see chapter "Phabricator server administration" in the "system" manual. A notable example installation is