| Tue, 18 Oct 2016 14:32:51 +0200 | wenzelm | clarified multiple props: result needs to fit on a single line within the log file; | changeset | files |
| Tue, 18 Oct 2016 13:56:49 +0200 | wenzelm | clarified properties; | changeset | files |
| Tue, 18 Oct 2016 13:44:54 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 18 Oct 2016 11:50:38 +0200 | wenzelm | support for free-form build tags; | changeset | files |
| Tue, 18 Oct 2016 11:24:14 +0200 | wenzelm | explicit identification of builds and correlated build groups; | changeset | files |
| Tue, 18 Oct 2016 10:11:22 +0200 | wenzelm | avoid spamming log file; | changeset | files |
| Tue, 18 Oct 2016 10:05:38 +0200 | wenzelm | shared_home is default for classic isatest home setup; | changeset | files |
| Tue, 18 Oct 2016 23:47:33 +0200 | hoelzl | add missing file Essential_Supremum.thy | changeset | files |