Thu, 03 Jun 2010 22:45:49 +0200 | wenzelm | tracing in aliceblue; | file | diff | annotate |
Sun, 30 May 2010 15:27:49 +0200 | wenzelm | less pschedelic token markup; | file | diff | annotate |
Tue, 25 May 2010 23:03:13 +0200 | wenzelm | eliminated obsolete priority message from Isabelle_Process protocol; | file | diff | annotate |
Sat, 22 May 2010 20:02:26 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 21 May 2010 20:46:00 +0200 | wenzelm | some message styling; | file | diff | annotate |
Fri, 21 May 2010 16:40:25 +0200 | wenzelm | observe additional isabelle-jedit.css for component and user; | file | diff | annotate |