Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
←
Previous Period
Next Period
→
Timeline
View changes from
going back
days
by author
Milestones completed
Tickets opened and closed
Ticket updates
Repository changesets
Wiki changes
Jun 3, 2015:
5:49 PM
Ticket
#506
(Please add Proof IDE support to emacs PG) created by
Generic Isabelle user
The tty mode has been dropped in Isabelle 2015. So in order for PG to …
Note:
See
TracTimeline
for information about the timeline view.
Download in other formats:
RSS Feed