Opened 14 years ago

Last modified 12 years ago

#361 accepted task

Generic adjustment of prover's pretty-printing width

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

Description

See pg-user.el version 10.52 for commented out code.

Change History (3)

comment:1 Changed 14 years ago by David Aspinall

Status: new → accepted

comment:2 Changed 13 years ago by David Aspinall

Milestone: PG-Emacs-4.1 → PG-Emacs-4.2
Summary: Generic adjustmenth of prover's pretty-printing width → Generic adjustment of prover's pretty-printing width
Type: defect → task

comment:3 Changed 12 years ago by David Aspinall

Milestone: PG-Emacs-4.2 → PG-Emacs-4.3
Note: See TracTickets for help on using tickets.