| Sun, 27 Mar 2011 17:32:25 +0200 | krauss | added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj"; | changeset | files |
| Sun, 27 Mar 2011 16:56:16 +0200 | krauss | avoid *** in normal output, which usually marks errors in logs | changeset | files |
| Sun, 27 Mar 2011 21:19:23 +0200 | wenzelm | added Markup.Name and Markup.Kind convenience; | changeset | files |