From 55826440681fe962188307a0eb4dbd52bb32b28c Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 24 Jun 2022 16:01:27 +0100 Subject: [PATCH] Improved description of latest changes. --- CHANGELOG.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 81aaea9..96e7626 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,13 +10,15 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0. ### Added ### Changed - -- removed explicit use of build script. Requires removing "build" script entry + +- The project-specific configuration is not part of the `ROOT` file, the formerly + used `isadof.cfg` is obsolete and no longer supported. +- Removed explicit use of build script. Requires removing "build" script entry from ROOT files. -- lipics support is now official, requires document option "document_comment_latex=true" - in the ROOT file. -- Isabelle/DOF is now a proper Isabelle component that should be installed using the - "isabelle components" command. The installation script is now only an convenience +- Support for the `lipics` LaTeX style is now official. This requires document + option `document_comment_latex=true` in the ROOT file. +- Isabelle/DOF is now a proper Isabelle component that should be installed using the + `isabelle components` command. The installation script is now only a convenience means for installing the required AFP entries. ## 1.2.0 - 2022-03-26