coq/dev/nsis, branch master The formal proof system Fixing typos - Part 1 2019-05-21T21:07:55+00:00 JPR 2019-05-21T21:07:55+00:00 e6322e23958a937fa01960f8ce320717b9863253 






Normalize Windows installer names.
2018-01-04T14:05:55+00:00

Théo Zimmermann

2017-10-20T16:32:26+00:00

6d430854fb6b30eacd1eae439fead1c13e7450a5












Put newlines at the end of files.
2017-10-25T11:41:53+00:00

Gaëtan Gilbert

2017-10-24T12:41:05+00:00

4c954a3479e002d3a350c3094ae73e6ca5865202












Add license text to the windows installation
2016-06-03T14:17:19+00:00

Enrico Tassi

2016-06-03T14:17:14+00:00

835bd9f8eb19f617dcbda625450fc8ed57048e49












Use -win32 and -win64 suffixes for installer name on Windows.
2016-04-07T11:52:03+00:00

Maxime Dénès

2016-04-07T11:52:03+00:00

f9ef1441083a988a938e163393dfbab04ab9da18












Fix Windows installer.
2015-09-17T05:49:19+00:00

Guillaume Melquiond

2015-09-17T05:49:19+00:00

5a0da4d8ea9b590e30ba9b194789b348be6bbc4f

The theories/ directory contains no cmi/cmxs files when native_compute is
disabled, so do not try to ship them.





The theories/ directory contains no cmi/cmxs files when native_compute is
disabled, so do not try to ship them.







Windows installer cleanup
2015-02-05T11:53:46+00:00

Enrico Tassi

2015-02-04T14:52:02+00:00

5bb1120292b7d0497d04c36631bf49239aa6ddf4












Minor fixes for the win32 installer
2014-12-30T09:22:05+00:00

Enrico Tassi

2014-12-29T16:30:21+00:00

ffd85fd9c15f0c199c12ef002464a0ecc3fec1d6












Win32: fix installer
2014-12-19T16:47:50+00:00

Enrico Tassi

2014-12-19T16:33:38+00:00

0c999f02ffcd61fcace0cc2d045056a82992a100

Still unsure about .o file (should they be shipped for the native_compute
machinery or .cmxs suffice?)





Still unsure about .o file (should they be shipped for the native_compute
machinery or .cmxs suffice?)







win32: remove outdated splash screen
2014-09-17T14:45:43+00:00

Enrico Tassi

2014-09-17T13:27:25+00:00

0c974eb2e4788d1af2d1b759bd4ada3cb1fb9e77

The official Coq logo does not work as a splash screen.
Simplest fix: no splash screen.





The official Coq logo does not work as a splash screen.
Simplest fix: no splash screen.