| Sun, 13 Mar 2011 16:38:54 +0100 | wenzelm | more basic use of Path.position/File.read; | file | diff | annotate |
| Fri, 04 Mar 2011 17:39:30 +0100 | berghofe | spark_end now joins proofs of VCs before writing *.prv file. | file | diff | annotate |
| Thu, 03 Mar 2011 18:42:12 +0100 | wenzelm | simplified Thy_Info.check_file -- discontinued load path; | file | diff | annotate |
| Sun, 16 Jan 2011 17:21:13 +0100 | berghofe | Tuned show_status | file | diff | annotate |
| Sun, 16 Jan 2011 15:04:16 +0100 | wenzelm | more standard command descriptions; | file | diff | annotate |
| Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | file | diff | annotate |