forked from Isabelle_DOF/Isabelle_DOF
Added renaming of mkroot_DOF.
This commit is contained in:
parent
c5752ba4a2
commit
03b721f014
|
@ -13,13 +13,14 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
|
||||||
|
|
||||||
- The project-specific configuration is not part of the `ROOT` file, the formerly
|
- The project-specific configuration is not part of the `ROOT` file, the formerly
|
||||||
used `isadof.cfg` is obsolete and no longer supported.
|
used `isadof.cfg` is obsolete and no longer supported.
|
||||||
- Removed explicit use of build script. Requires removing "build" script entry
|
- Removed explicit use of `document/build` script. Requires removing the `build` script
|
||||||
from ROOT files.
|
entry from ROOT files.
|
||||||
- Support for the `lipics` LaTeX style is now official. This requires document
|
- Support for the `lipics` LaTeX style is now official. This requires document
|
||||||
option `document_comment_latex=true` in the ROOT file.
|
option `document_comment_latex=true` in the ROOT file.
|
||||||
- Isabelle/DOF is now a proper Isabelle component that should be installed using the
|
- 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
|
`isabelle components` command. The installation script is now only a convenient way
|
||||||
of installing the required AFP entries.
|
of installing the required AFP entries.
|
||||||
|
- `mkroot_DOF` has been renamed to `dof_mkroot` (and reimplemented in Scala).
|
||||||
|
|
||||||
## 1.2.0 - 2022-03-26
|
## 1.2.0 - 2022-03-26
|
||||||
|
|
||||||
|
|
Reference in New Issue