Fix parentheses and titles

nergmada / planning-wiki

By the community, for everyone. Planning.wiki is the online guide to AI Planning

https://planning.wiki

70 stars 21 forks source link

Closed Maumagnaguagno closed 3 years ago

Maumagnaguagno commented 3 years ago

Some parentheses in PDDL2.1/domain.md, the title of tags/temporal.md and tags/numeric.md do not match.