Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (94 - 96 of 361)

← 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 →
Ticket Resolution Summary Owner Reporter
#191 fixed Code cleanup: remove proof-no-command David Aspinall David Aspinall
Description

We could replace proof-no-command simply by nil.

#192 wontfix Improve out-of-the-box behaviour for some common configurations David Aspinall David Aspinall
Description

Several places, e.g.:

  • Compatibility with the standard Coq Windows distribution (currently there are path problems, as well as much use of shell-command-to-string in coq.el).
  • The unthinkable: easy Isabelle on Windows? Easy X-Symbol there?
  • Remove use of so many window-system strings in proof-face-specs; just default to simple and standard defface settings (also improves behaviour in custom where lisp is sometimes seen). Are settings really needed for light/dark/terminal, doesn't everyone use light nowadays? The dark ones may customise themselves...

#193 fixed Fix output of texi2html David Aspinall David Aspinall
Description

Several glitches are now appearing in the user manuals, including missing images, including verbatim info dir entry, and broken in-page links, and too many navigation bars in the same page.

← 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 →
Note: See TracQuery for help on using queries.