aarne 29c0ea9f76 new pre syntax (as alternative): pre {"o" | "i" => "an" ; _ => "a"}

2009-05-15 16:45:16 +00:00

..

doc

doc for next-lib; adjustments in summerschool-flyer

2009-03-28 13:20:47 +00:00

src

new pre syntax (as alternative): pre {"o" | "i" => "an" ; _ => "a"}

2009-05-15 16:45:16 +00:00