diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-19 10:16:37 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-19 10:16:37 +0000 |
| commit | 502979bef170d101e2ce8cdfed7fbbc6313edaec (patch) | |
| tree | 65aa2ec437158334810df2f8d9800da4a3ec3e73 /debian | |
| parent | c3f0986275d31f36cc3a86716dfaddb7484da17b (diff) | |
use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions