| Thu, 23 Aug 2012 15:43:28 +0200 | wenzelm | added specific 'spark_open_vcg' and 'spark_open_siv' with formal management of corresponding source files; | changeset | files |
| Thu, 23 Aug 2012 15:06:15 +0200 | wenzelm | turned 'boogie_open' into thy_load command, without any declarations of 'uses'; | changeset | files |
| Thu, 23 Aug 2012 14:58:42 +0200 | wenzelm | tuned signature; | changeset | files |