Главная Обзор Помощь
Вход
caryoscelus
/
agda
Следить 1
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Ветка: js_amd
Ветки Метки

История коммитов

Автор SHA1 Сообщение Дата
  Anders Mörtberg d837e65257 [ cubical, doc, re #3539 ] Document the cubical mode properly (#3571) 6 лет назад
  Andrés Sicard-Ramírez f420607afe [ #2153 ] Using an external LaTeX file in `conf.py`. 6 лет назад