Historial de Commits

Autor SHA1 Mensaje Fecha
  ulfn 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) hace 13 años
  james d25121eee9 declare-before-use mutual definitions (AIM XIV) hace 13 años
  Nils Anders Danielsson c5b859575b Horizontal tab characters are no longer treated as white space. hace 15 años
  ulfn 28dd567351 removed special lexing rules for : (x:A is now a valid name) hace 17 años
  ulfn 2d44fa877a syntax change: using/hiding lists are separated by ; hace 18 años
  ulfn 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) hace 18 años
  ulfn ea4930ab12 ac rewriting (internal) tactic hace 18 años