#!/usr/local/bin/perl # Written by Ch. Tronche (http://tronche.com/) # Copyright by the author. This is unmaintained, no-warranty free software. # Please use freely. It is appreciated (but by no means mandatory) to # acknowledge the author's contribution. Thank you. # Started on Wed Mar 4 11:49:54 1998 # Adapted for CASL on Tue Feb 23 15:00:41 MET 1999 # by Kolyang, Till Mossakowski, and Pascal Schmidt print "Content-Type: text/html\n\n"; $parser = "/home/cofi/bin/casl"; %hex = (0 => 0, 1 => 1, 2 => 2, 3 => 3, 4 => 4, 5 => 5, 6 => 6, 7 => 7, 8 => 8, 9 => 9, a => 10, b => 11, c => 12, d => 13, e => 14, f => 15, A => 10, B => 11, C => 12, D => 13, E => 14, F => 15); $_ = $ENV{'QUERY_STRING'}; if ($_) { $fileName = "/tmp/web.casl.$$"; open(FILE, "| $parser -cgi \"$_\" >$fileName 2>$fileName.err") || die; print FILE "$_\n"; close(FILE); s/^spec=//o; s/\&[a-zA-Z]+=[a-zA-Z]+//go; s/%0D//go; s/\+/ /go; s/%([0-9a-f])([0-9a-f])/chr($hex{$1} * 16 + $hex{$2})/egoi; print < HOL-CASL results

You have submitted the CASL library:

$_

Result of parsing and static checking:

END open(FILE, "<$fileName") || die; while() { print; } print "
\n";
	open(FILE, "<$fileName.err") || die;
	while() {
	    s/\&/&/go;
	    s//>/go;
	    print;
	}
	print "
\n"; print <

Not the result you expected ? Please check the known problems list and then complain ! END } else { print < HOL-CASL web interface END print"

"; open(FILE, "/home/cofi/www/CASL/parser/version") || die; while() { s/\&/&/go; s//>/go; print; } print"

"; print <
Output parse tree Output global environment Output LaTeX END } print < Contact address:  cofi\@informatik.uni-bremen.de END