+++ /dev/null
-#!/bin/bash
-
-echo "Exporting theory $1";
-
-for i in EXCEPTIONS/*.v
- do
- basename=$(basename $i | sed s/\\.v//)
- cat $i | ../mktheory.pl "Bordeaux/EXCEPTIONS/$basename" > \
- examples/Bordeaux/EXCEPTIONS/$basename.theory.xml
- done