Opened 11 years ago

Closed 9 years ago

#272 closed enhancement (wontfix)

Port identifier completion code from PG Eclipse.

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

Description

This would be very useful for Isabelle, which already supports the required PGIP commands to query available identifiers. Additionally, names of processed files are passed back to PG which could trigger table updating (perhaps in a lazy fashion).

Change History (3)

comment:1 Changed 10 years ago by David Aspinall

Status: newaccepted

comment:2 Changed 10 years ago by David Aspinall

Milestone: PG-Emacs-4.1PG-Emacs-4.2

comment:3 Changed 9 years ago by David Aspinall

Resolution: wontfix
Status: acceptedclosed

Discarding unless someone else picks up. Let's leave the newer interfaces to enjoy this as an advantage.

Note: See TracTickets for help on using tickets.