Timeline
Mar 31, 2009:
- 10:14 PM Ticket #267 (Isabelle sendback markup dysfunctional) created by
- The "sendback" markup in Isabelle no longer works. For example: …
- 10:08 PM Ticket #266 (Limited hilite markup (in Isabelle)) created by
- When printing text with "hilite" markup the outcome appears to depend …
- 6:16 PM Ticket #265 (Cannot open load file: easymenu) created by
- This is GNU Emacs 22.1.1 on Cygwin. Here startup fails: {{{Cannot …
- 5:10 PM Ticket #263 (proof-shell-trace-output-regexp in trace output) closed by
- fixed: Works after adding special "V" to invisible parts of …
- 4:26 PM Ticket #206 (Special markup not processed in minibuffer messages (warnings etc.)) reopened by
- 4:25 PM Ticket #264 (GNU Emacs 22.2.1 (SuSE): tty fails) created by
- GNU Emacs 22.2.1 (x86_64-suse-linux-gnu) of 2008-09-12 on hammer22 …
- 4:05 PM Ticket #263 (proof-shell-trace-output-regexp in trace output) created by
- proof-shell-trace-output-regexp appears visually in the
*trace*…
Mar 10, 2009:
- 10:33 AM Ticket #262 (make jobserver unavailable) closed by
- fixed: Fixed. Many thanks for reporting.
Feb 16, 2009:
- 5:49 PM Ticket #262 (make jobserver unavailable) created by
- When trying to run make with multiple jobs, this does not work and …
- 1:53 PM Ticket #261 (Finish support for proof-query-identifier) created by
- Some time ago, David Aspinall gave me some code that would display the …
Note: See TracTimeline
for information about the timeline view.
