Antiquotations for Isabelle systems programming
Written by makarius on Wed, May 27, 4:44 PM in Isabelle NEWS.
- Document preparation ###
Update of Isabelle/Phabricator setup
Written by makarius on Mon, May 18, 5:08 PM in Isabelle NEWS.
- Isabelle/Phabricator setup has been updated to follow ongoing development: libphutil has been discontinued. Minor INCOMPATIBILITY: existing server installations should remove libphutil from /usr/local/bin/isabelle-phabricator-upgrade and each installation root directory (e.g. /var/www/phabricator-vcs/libphutil).
Command-line tool "isabelle sessions"
Written by makarius on Apr 28 2020, 10:16 PM in Isabelle NEWS.
- The command-line tool "isabelle sessions" explores the structure of Isabelle sessions and prints result names in topological order (on stdout).
Slightly improved isabelle build_docker tool
Written by makarius on Mar 21 2020, 10:42 PM in Isabelle NEWS.
- The command-line tool isabelle build_docker has been slightly improved: it is now properly documented in the system manual.
Mixfix annotations may use single-quote-space as documented
Written by makarius on Mar 15 2020, 1:48 PM in Isabelle NEWS.
- Mixfix annotations may use "' " (single quote followed by space) to separate delimiters (as documented in the isar-ref manual), without requiring an auxiliary empty block. A literal single quote needs to be escaped properly. Minor INCOMPATIBILITY.
Support Java/VM monitoring via jconsole
Written by makarius on Mar 6 2020, 8:45 PM in Isabelle NEWS.
- Isabelle/jEdit Prover IDE ###
Isabelle/jEdit actions and shortcuts for tooltips, messages, error positions
Written by makarius on Mar 2 2020, 3:44 PM in Isabelle NEWS.
- Isabelle/jEdit Prover IDE ###
Release Candidates for Isabelle2020
Written by makarius on Feb 14 2020, 9:43 PM in Isabelle Release.
The official Isabelle2020 release is scheduled for April 2020. This blog entry is dynamically updated to follow the sequence of public release candidates.
Command-line tool "isabelle scala_project"
Written by makarius on Jan 15 2020, 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 Dec 22 2019, 6:08 PM in Isabelle Release.
The next anticipated release is Isabelle2020 (April 2020). The hot phase with release candidates will presumably be 01-Mar-2020 .. 15-Apr-2020.
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 https://isabelle-dev.sketis.net/.