Cross Reference: run.sh
xref: /hets/test/HasCASL2IsabelleTests/run.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
run.sh revision d6087be434086ef1a79922001fec798bc397c56a
d657c51f14601d0235434ffb78cf6ac0f27cc83cLennart Poettering#!/bin/sh
220a21d38f675eb835f5758e3d23e896573aa5eaLennart Poettering
699b6b3491dc265ead79602404ad67ccdacae302Lennart Poettering../../hets -v2 -o thy *.het
699b6b3491dc265ead79602404ad67ccdacae302Lennart Poettering../../utils/nightly/linux/runisabelle.sh *.thy
699b6b3491dc265ead79602404ad67ccdacae302Lennart Poettering
699b6b3491dc265ead79602404ad67ccdacae302Lennart Poettering

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