Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd
Branches Tags

Commit Verlauf

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