Vítor Galvão
|
60531a2812
|
remove license from all casks (#25368)
|
2016-10-10 17:45:23 +01:00 |
|
Josh Tilles
|
a1add23207
|
Isabelle: 2016
|
2016-02-18 18:41:17 -05:00 |
|
Josh Hagins
|
feba4ec740
|
Remove DSL versions from all casks
|
2015-12-17 20:15:28 -05:00 |
|
scribblemaniac
|
ca3b18b018
|
Fix links to use SSL
|
2015-06-29 01:22:36 -06:00 |
|
Franklin Chen
|
cf9d66a799
|
Update Isabelle version.
|
2015-06-13 01:49:27 -04:00 |
|
Vítor Galvão
|
343d7ade8b
|
isabelle.rb: added name
|
2015-01-23 15:17:20 +00:00 |
|
Roland Walker
|
521cec742b
|
new-style header in isabelle
|
2014-11-13 12:35:42 -05:00 |
|
ndr
|
a0f76c67a3
|
Specify license of isabelle
|
2014-10-11 17:50:25 +01:00 |
|
Roland Walker
|
157f611c55
|
add license stanza to isabelle
|
2014-10-01 11:42:59 -04:00 |
|
Roland Walker
|
40388e3604
|
app stanza in isabelle.rb
|
2014-09-15 12:05:45 -04:00 |
|
ndr
|
2547c2c780
|
Add Isabelle, version 2014
|
2014-09-08 05:09:45 +02:00 |