nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

More standard package name: appears to work properly in Isabelle2022.

This commit is contained in:
Makarius Wenzel 2022-10-24 21:38:01 +02:00
parent 0c8a0e1d63
commit 15feeb7d92
4 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
etc/build.props
View File

@ -8,5 +8,5 @@ sources = \
src/scala/dof_mkroot.scala \
src/scala/dof_tools.scala
services = \
isabelle_dof.DOF_Tools \
isabelle_dof.DOF_Document_Build$Engine
isabelle.dof.DOF_Tools \
isabelle.dof.DOF_Document_Build$Engine

2
src/scala/dof_document_build.scala
View File

@ -28,7 +28,7 @@
* SPDX-License-Identifier: BSD-2-Clause
*/
package isabelle_dof
package isabelle.dof
import isabelle._
import java.io.{File => JFile}

2
src/scala/dof_mkroot.scala
View File

@ -34,7 +34,7 @@
Prepare session root directory for Isabelle/DOF.
*/
package isabelle_dof
package isabelle.dof
import isabelle._

2
src/scala/dof_tools.scala
View File

@ -29,7 +29,7 @@
*/
package isabelle_dof
package isabelle.dof
import isabelle._