Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd
Гране Ознаке

Историја ревизија

Аутор SHA1 Порука Датум
  Nils Anders Danielsson a3222370f2 [ #5201 ] Made syntax declarations more liberal. пре 3 година
  Ulf Norell 2a2d1a720a [ fix #3790 ] change syntax example from bind to exist пре 3 година
  Ulf Norell ed6041483c [ #3790 ] document that syntax must be fully applied пре 3 година
  Andrea Vezzosi e8002327cf [ doc ] fixed user-manual-test пре 7 година
  Andrea Vezzosi cf2e965651 [ doc ] some docs for syntax declarations пре 7 година