Home Verkennen Help
Inloggen
caryoscelus
/
agda
Volgen 1
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Aftakking: js_amd
Aftakkingen Labels

Commit History

Auteur SHA1 Bericht Datum
  Nils Anders Danielsson a3222370f2 [ #5201 ] Made syntax declarations more liberal. 3 jaren geleden
  Ulf Norell 2a2d1a720a [ fix #3790 ] change syntax example from bind to exist 3 jaren geleden
  Ulf Norell ed6041483c [ #3790 ] document that syntax must be fully applied 3 jaren geleden
  Andrea Vezzosi e8002327cf [ doc ] fixed user-manual-test 7 jaren geleden
  Andrea Vezzosi cf2e965651 [ doc ] some docs for syntax declarations 7 jaren geleden