| Fri, 22 Feb 2013 16:52:10 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Fri, 22 Feb 2013 14:39:12 +0100 | wenzelm | updated headers; | changeset | files |
| Fri, 22 Feb 2013 14:38:52 +0100 | wenzelm | eliminated hard tabs; | changeset | files |
| Fri, 22 Feb 2013 14:25:52 +0100 | wenzelm | discontinued obsolete src/HOL/IsaMakefile; | changeset | files |
| Thu, 21 Feb 2013 18:27:28 +0100 | wenzelm | merged | changeset | files |
| Thu, 21 Feb 2013 18:21:40 +0100 | wenzelm | more explicit session dependency, for improved parallel performance of HOL-UNITY test session -- NB: separate 'theories' sections are sequential; | changeset | files |
| Thu, 21 Feb 2013 16:00:48 +0100 | wenzelm | merged | changeset | files |
| Thu, 21 Feb 2013 15:35:09 +0100 | wenzelm | removed obsolete tags; | changeset | files |