Vítor Galvão
|
36a2903770
|
coqide.rb: added name
|
2015-01-06 03:24:41 +00:00 |
|
Florian Harbecke
|
5719938607
|
Updated CoqIDE to 8.4pl5; Changed protocol to https
|
2014-11-20 10:21:10 +01:00 |
|
Roland Walker
|
ae94057a7c
|
new-style header in coqide
|
2014-11-13 12:34:37 -05:00 |
|
ndr
|
59b5485e5e
|
Specify license of coqide
|
2014-10-11 17:34:56 +01:00 |
|
Roland Walker
|
6fb98f2d14
|
add license stanza to coqide
|
2014-10-01 11:42:10 -04:00 |
|
Roland Walker
|
fab32b0dbc
|
app stanza in coqide.rb
|
2014-09-15 12:05:25 -04:00 |
|
ndr
|
25fb414a5a
|
Add Coq IDE, version 8.4pl4
|
2014-06-29 12:03:54 +01:00 |