aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/nsis/coq.nsi
Commit message (Expand)AuthorAge
* Normalize Windows installer names.Gravatar Théo Zimmermann2018-01-04
* Add license text to the windows installationGravatar Enrico Tassi2016-06-03
* Use -win32 and -win64 suffixes for installer name on Windows.Gravatar Maxime Dénès2016-04-07
* Fix Windows installer.Gravatar Guillaume Melquiond2015-09-17
* Windows installer cleanupGravatar Enrico Tassi2015-02-05
* Minor fixes for the win32 installerGravatar Enrico Tassi2014-12-30
* Win32: fix installerGravatar Enrico Tassi2014-12-19
* win32: remove outdated splash screenGravatar Enrico Tassi2014-09-17
* Installer for win improvedGravatar Enrico Tassi2014-09-09
* Installer for win32Gravatar Enrico Tassi2014-09-09