Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (58 - 60 of 361)

← 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 →
Ticket Resolution Summary Owner Reporter
#285 fixed byte compilation David Aspinall Makarius
Description

GNU Emacs 23.1.1 on Mac OS, Proof General 4.0pre090902 (or CVS version).

Byte compilation via make compile produces a version of Proof General that fails to start up.

(Since only GNU Emacs is supported now, I wonder if byte compilation could be made the default.)

#286 fixed PG startup crash David Aspinall Makarius
Description

GNU Emacs 22.1.1, Ubuntu 8.04 LTS.

PG startup crashes: File mode specification error: (void-function declare-function)

#300 fixed Emacs 22: strange keyword categorization David Aspinall Makarius
Description

This is Ubuntu 9.10 with GNU Emacs 22 (Gtk).

Somehow the keyword categorizations appears to intrude plain identifiers. E.g. the "in" in "Main" is highlighted differently. This may go as far as breaking the code for determining command spans, loosing synchronization quickly.

← 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 →
Note: See TracQuery for help on using queries.