| Sun, 01 Apr 2012 23:21:54 +0200 | krauss | merged, manually resolving conflicts due to session renaming (cf. 6488c5efec49) | changeset | files |
| Sun, 01 Apr 2012 23:09:36 +0200 | krauss | clarified terminology; added reference to bundle component | changeset | files |
| Sun, 01 Apr 2012 22:55:06 +0200 | krauss | less modest NEWS; CONTRIBUTORS | changeset | files |
| Sun, 01 Apr 2012 22:41:56 +0200 | krauss | renamed import session back to Import, conforming to directory name; NEWS | changeset | files |
| Sun, 01 Apr 2012 23:07:15 +0200 | wenzelm | more precise IsaMakefile (eg. see HOL-Algebra); | changeset | files |
| Sun, 01 Apr 2012 22:58:05 +0200 | wenzelm | more keywords; | changeset | files |
| Sun, 01 Apr 2012 22:40:15 +0200 | wenzelm | merged | changeset | files |