package specware
Type Members
-
class
SpecwareImporter extends Importer
imports Specware files
imports Specware files
The import is rather inefficient, not using Specware's recursive export facility
It currently only works on Windows because the specware-xmlprint.cmd script has not been ported to Unix. That should be trivial though.