Ticket #51 (new enhancement)

Opened 4 years ago

Last modified 2 years ago

Specification: presentation of bound variables depending on the binder

Reported by: frabe Owned by: vzholudev
Priority: major Milestone: zzz Future zzz
Component: Presentation Version:
Keywords: Cc: frabe, nmuelle, cmueller, clange, kohlhase
Blocked By: Blocking:
Due to close: Include in GanttChart: no
Dependencies: Due to assign:

Description

It should be possible to give different notations for OMVs so that variables bound by different binding symbols are displayed differently.

For example: display all universally quantified variables in bold face

Change History

Changed 4 years ago by nmueller

  • type changed from defect to enhancement

Changed 4 years ago by nmueller

  • cc frabe, nmuelle, cmueller, clange, kohlhase added

Changed 4 years ago by nmueller

  • due_assign YYYY/MM/DD deleted
  • due_close YYYY/MM/DD deleted
  • milestone set to xxx Future xxx

Changed 2 years ago by nmueller

  • owner changed from nmueller to vzholudev
Note: See TracTickets for help on using tickets.