Opened 17 years ago

Last modified 11 years ago

#94 new enhancement

Selecting print mode via interface

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone:
Component: 5:PGIP-design Keywords:
Cc:

Description

Should we have some way of automatically configuring the output preference for the prover from some chosen print mode? 

    <displaycapabilities>
    <capability>plaintext</capability>
    <capability>HTML</capability>
    </displaycapabilities>

This seems to be related to <pgmlsymbolson> and <pgmlsymbolsoff>

Change History (2)

comment:1 Changed 17 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6 → PG-Eclipse-1.1.0

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.