Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Removed ML code from AFP entry
Changeset 12765:54aa4793df33 by mohammadabdulaziz:
Removed ML code from AFP entry
The file was modified thys/AI_Planning_Languages_Semantics/Error_Monad_Add.thy
The file was modified thys/AI_Planning_Languages_Semantics/PDDL_STRIPS_Checker.thy
The file was removedthys/AI_Planning_Languages_Semantics/code/Makefile
The file was removedthys/AI_Planning_Languages_Semantics/code/PDDL_Checker.mlb
The file was removedthys/AI_Planning_Languages_Semantics/code/PDDL_Checker.sml
The file was removedthys/AI_Planning_Languages_Semantics/code/PDDL_Checker_Fluents.mlb
The file was removedthys/AI_Planning_Languages_Semantics/code/Unsynchronized.sml