| Name | Date | Size | |
|---|---|---|---|
| .. | 2014-11-14 15:16:52 | 44 | |
| cronjob.sh | 2014-10-23 10:20:42 | 8.9 KiB | |
| intel-mac | 2014-03-27 15:02:23 | 4 | |
| linux | 2014-11-14 15:14:28 | 6 | |
| linux64 | 2014-11-14 15:16:52 | 3 | |
| mac | 2009-09-01 09:36:44 | 4 | |
| pc-solaris | 2014-08-01 09:25:51 | 4 | |
| runDarwin.sh | 2008-10-23 16:52:44 | 123 | |
| runHsIsabelle.sh | 2010-01-21 18:42:41 | 147 | |
| runisabelle.sh | 2014-10-20 15:05:44 | 144 | |
| runSPASS.sh | 2009-10-17 10:18:23 | 98 | |
| runSPASSconsistency.sh | 2008-07-04 19:20:38 | 124 | |
| solaris | 2012-07-31 11:26:51 | 3 | |
| spass_consistency_patterns.txt | 2008-07-04 19:20:38 | 32 | |
| V240-solaris | 2012-07-31 11:26:51 | 4 |