Cross Reference: run.sh
xref: /hets/test/RenameFreetypes/run.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
2764758795be1dc0979461bf966e450c10e776f2Christian Maeder#!/bin/sh
2764758795be1dc0979461bf966e450c10e776f2Christian Maeder
80731efb785166b88edda6c2077f14e2e2858c06cmaeder../../hets -v2 -A -o thy *.het
52f21faa2887eff21f27e9a16669dd97216884acChristian Maeder../../utils/nightly/runisabelle.sh *.thy
4ec7cab4c123781b80d5313b660ee71f1835fa91cmaeder
4ec7cab4c123781b80d5313b660ee71f1835fa91cmaeder../../hets -l HasCASL -v2 -A -o thy *.het
4ec7cab4c123781b80d5313b660ee71f1835fa91cmaeder../../utils/nightly/runisabelle.sh *.thy

Indexes created Tue Jul 24 14:28:13 CEST 2018