Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Clarified order
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Makarius Wenzel 2022-12-03 12:39:00 +01:00
parent aee8ba1df1
commit 3cac42e6cb
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/scala/dof.scala
View File

@ -83,7 +83,8 @@ object DOF {
List(
Parameter("isabelle_version", isabelle_version),
Parameter("afp_version", afp_version),
Parameter("dof_version", version))
Parameter("dof_version", version)
).sortBy(_.name)
def print_parameters(names: List[String],
all: Boolean = false,