| changeset 32619 | 02f45a09a9f2 |
| parent 32618 | 42865636d006 |
| child 32622 | 8ed38c7bd21a |
--- a/src/HOL/SMT/lib/scripts/remote_smt.pl Fri Sep 18 18:13:19 2009 +0200 +++ b/src/HOL/SMT/lib/scripts/remote_smt.pl Mon Sep 21 08:34:56 2009 +0200 @@ -1,7 +1,7 @@ #!/usr/bin/env perl -w # # Script to invoke remote SMT solvers. -# Author: Sascha Böhme +# Author: Sascha Boehme, TU Muenchen # use strict;