Ticket #53 (new enhancement)

Opened 4 years ago

Last modified 2 years ago

Specification: meta-theory-sensitive notation specifications

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

For example: A notation that applies to any application OMA(f,a_1,...,a_n) in which f is a symbol with a certain meta-theory.

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.