Cross Reference: run.sh
xref: /hets/test/HasCASL2IsabelleTests/run.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
d6087be434086ef1a79922001fec798bc397c56aChristian Maeder#!/bin/sh
d6087be434086ef1a79922001fec798bc397c56aChristian Maeder
d6087be434086ef1a79922001fec798bc397c56aChristian Maeder../../hets -v2 -o thy *.het
52f21faa2887eff21f27e9a16669dd97216884acChristian Maeder../../utils/nightly/runisabelle.sh *.thy
d6087be434086ef1a79922001fec798bc397c56aChristian Maeder

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