Opened 17 years ago

Last modified 11 years ago

#47 assigned enhancement

Complete configuration of <lexicalsyntax> elements

Reported by: David Aspinall <da+pgtrac@…> Owned by: David Aspinall
Priority: major Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description

Lexical syntax elements allow correct and dynamically extensible keyword handling.

Presently needs further work in Isabelle as well as Eclipse.

Change History (5)

comment:1 Changed 17 years ago by David Aspinall <da+pgtrac@…>

Component: documentationproofgeneral-eclipse
Type: defectenhancement

comment:2 Changed 17 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6

comment:3 Changed 17 years ago by David Aspinall

Status: newassigned

comment:4 Changed 16 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6PG-Eclipse-1.0.7

comment:5 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.