Arch Linux User Repository

summary log tree commit diff stats

path: root/pcal2tla

blob: 7b7cc3143610fa605a554aac2f0031446a234083 (plain)

1 2	`#!/bin/sh java -classpath /usr/share/java/tla-tools pcal.trans $@`