Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd
Branch-ok Tag-ek

Commit történet

Szerző SHA1 Üzenet Dátum
  Jesper Cockx f5a698da0d [ rewriting ] Add global confluence checker for rewrite rules 4 éve
  Fabian 9f891f6560 [ doc ] minor changes 4 éve
  Jesper Cockx 34125f4392 [ fix #4298 ] Add documentation for --rewriting and --confluence-check 5 éve
  Andrés Sicard-Ramírez 31fb0ae755 [ doc ] Added links to some options. 5 éve
  Ulf Norell 424cf62360 [ fix #3169 ] point to rewrite documentation in rewriting stub 6 éve
  Víctor López Juan b507471bb7 [ doc ] Converted remaining into literate files 8 éve