Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Robert Estelle 131b42b388 imports/api: Replace unnecessary readInterface overload 4 vuotta sitten
  Andrés Sicard-Ramírez 4159b2c46f [ #983, #1168, #1232 ] Documented possible causes of error. 5 vuotta sitten
  G. Allais 0a284d1070 [ fix #2610 ] Build directory for version specific agdai files (#3949) 5 vuotta sitten
  Andrés Sicard-Ramírez 0beff983ad [ API test ] Removed Unicode symbols 10 vuotta sitten
  Andrés Sicard-Ramírez 6ea0423cc7 [ issue 1168 ] Added test case 10 vuotta sitten