Opened 16 years ago

Closed 15 years ago

#191 closed task (fixed)

Code cleanup: remove proof-no-command

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

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

Change History (5)

comment:1 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7.1 → PG-Emacs-3.7.2

comment:2 Changed 16 years ago by David Aspinall

Milestone: PG-Emacs-3.7.2 → PG-Emacs-4.0

comment:3 Changed 15 years ago by David Aspinall

Resolution: → wontfix
Status: new → closed

Seems a bit pointless.

comment:4 Changed 15 years ago by David Aspinall

Resolution: wontfix
Status: closed → reopened

comment:5 Changed 15 years ago by David Aspinall

Resolution: → fixed
Status: reopened → closed

Have fixed now in script code refactoring.

Note: See TracTickets for help on using tickets.