search

jwaldmann / ceta-postproc

GNU Lesser General Public License v3.0
0 stars 0 forks source link

use two-argument CeTA #11

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

Yay! CeTA has two arguments now! http://cl2-informatik.uibk.ac.at/rewriting/mercurial.cgi/IsaFoR/file/16f85a27b856/src/Haskell/CeTA.hs

This is very good, since I can remove all ad-hoc XML processing here, and it's replaced by CeTA's certified implementation.

jwaldmann commented 7 years ago

the switch was done, remaining issues are tracked separately, e.g., #13.