| Fri, 04 Jan 2013 12:33:25 +0100 | wenzelm | prefer old graph browser in Isabelle/jEdit, which still produces better layout; | changeset | files |
| Fri, 04 Jan 2013 11:21:31 +0100 | wenzelm | more formal inlining of system information; | changeset | files |
| Fri, 04 Jan 2013 11:07:39 +0100 | wenzelm | tuned message -- suppress inlined system information; | changeset | files |
| Fri, 04 Jan 2013 01:39:32 +0100 | smolkas | merged | changeset | files |