Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (55 - 57 of 361)

← 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 →
Ticket Resolution Summary Owner Reporter
#282 invalid Emacs 23.1.1 on Mac OS: no toolbar David Aspinall Makarius
Description

The PG tool seems to be missing on this platform.

#283 duplicate assert command etc.: strange movement of point David Aspinall Makarius
Description

GNU Emacs 23.1.1, Mac OS.

The point movement after asserting commands is still a bit odd. With proof-assert-next-command there is a higher change that it moves after the span than with proof-goto-point, where it seems to move to the span start unconditionally. But there are situations where both fail.

Also note that proof-goto-point does not work if the point is at the first position of the command keyword.

#284 fixed proof-process-buffer very slow David Aspinall Makarius
Description

GMU Emacs 23.1.1, Mac OS.

Asserting a whole buffer via proof-process-buffer is very slow. One can watch the frontier of the locked region move in slow-motion. This is a MacPro? with 2.8 GHz and 8/16 cores (of course Emacs can use only 1 core anyway).

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