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

Decide on dof_mkroot #20

New Issue
Closed
opened 2023-02-22 07:28:47 +00:00 by adbrucker · 0 comments
adbrucker commented 2023-02-22 07:28:47 +00:00
Owner
Copy Link

A decision needs to be taken, if we still want/need a tool like dof_mkroot. Currently, it has been removed - this makes Isabelle/DOF a "lightweight component" that should be fully compliant to the rules for AFP submissions. Overall, the value of dof_mkroot is low, given that all user configuration is now part of the theory setup. Still, users need to manually remove the root file generated (and registered in the ROOT file) by the standard mkroot tool of Isabelle.

A decision needs to be taken, if we still want/need a tool like dof_mkroot. Currently, it has been removed - this makes Isabelle/DOF a "lightweight component" that should be fully compliant to the rules for AFP submissions. Overall, the value of dof_mkroot is low, given that all user configuration is now part of the theory setup. Still, users need to manually remove the root file generated (and registered in the ROOT file) by the standard mkroot tool of Isabelle.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
main
afp_resubmission
isabelle_nightly
sml-latex-generation-for-chapter-section
common-criteria
ARINC661
ICFEM-2022
update-cenelec
2021-ITP-PMTI
v1.2.x/Isabelle2021
v1.1.x/Isabelle2021
v1.1.x/Isabelle2020
v1.0.x/Isabelle2019
Unreleased/Isabelle2018
afp_submission
v1.3.0/Isabelle2021-1
v1.2.0/Isabelle2021
2021-ITP-PMTI-rejected
v1.1.0/Isabelle2021
v1.1.0/Isabelle2020
v1.0.0/Isabelle2019
Unreleased/Isabelle2018
Unreleased/Isabelle2017
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Isabelle_DOF/Isabelle_DOF#20
No description provided.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?