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

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