From d2b6cb81aae7ae6725e8e1b604bd6c67dd078cf9 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Jun 2022 21:57:07 +0100 Subject: [PATCH] LIPIcs needs to stay unsupported, right now. --- CHANGELOG.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 60c70dd..a0efdc7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,8 +15,6 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0. used `isadof.cfg` is obsolete and no longer supported. - Removed explicit use of `document/build` script. Requires removing the `build` script entry from ROOT files. -- 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 convenient way of installing the required AFP entries.