Logo
Explore Help
Sign In
alois/CoqDecks
Watch 1
Star 0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
112 Commits 1 Branch 0 Tags
5785b29313410329ded7326fdc46b5fbe7ce9841
Commit Graph
7 Commits
Author SHA1 Message Date
Gareth Latty 5785b29313 Move to navigation library for URL handling without ports. 2016-07-26 22:50:06 +01:00
Gareth Latty 7d56015c31 Add TTS support 2016-07-20 16:44:30 +01:00
Gareth Latty 15e92a69ea Fix some javascript bugs, update packages, and update some style bugs. 2016-07-20 14:00:46 +01:00
Gareth Latty fea2840926 Bugfix and removing accidentally committed compiled code. 2016-06-27 02:22:24 +01:00
Gareth Latty 08cbac4ba4 Add version information to the application. 2016-06-27 01:50:19 +01:00
Gareth Latty d95c558cc8 Move the sidebar state into elm for consistency and simplicity. 2016-06-26 23:51:18 +01:00
Gareth Latty e9f632e2df Updates to styles, suresource integrity & added a custom error page. 2016-06-25 14:43:04 +01:00
Powered by Gitea Version: 1.27.0 Page: 35ms Template: 3ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API