search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Correct Dockerfile comments #54

Closed MaxGaukler closed 4 years ago

MaxGaukler commented 5 years ago

remove all mentions of the no longer existing 'hyst' shortcut for 'java -jar Hyst.jar'

(as discussed in #53 )