Stefan Grundmann
|
1c975f590e
|
Update VMM
add missing not
|
2017-07-10 12:26:01 +02:00 |
|
|
|
937eee7e4d
|
.
|
2017-07-10 11:02:56 +01:00 |
|
|
|
9295488205
|
VMM article
|
2017-07-10 10:49:12 +01:00 |
|
|
|
04ddbd6270
|
.
|
2017-03-12 13:27:37 +00:00 |
|
|
|
872ee8a1ac
|
fix markdown syntax and link
|
2017-03-09 09:47:08 +00:00 |
|
|
|
9a73385ac5
|
Mirage3 is out, no more extra remotes :)
|
2017-02-23 17:33:55 +00:00 |
|
|
|
e6ba699929
|
.
|
2017-02-20 20:33:56 +00:00 |
|
|
|
01724c16f8
|
.
|
2017-02-20 18:02:52 +00:00 |
|
|
|
98e0847a1b
|
conex PR merged
|
2017-02-20 11:34:37 +00:00 |
|
|
|
9809b49911
|
.
|
2017-02-19 11:38:02 +00:00 |
|
|
|
9f2dcfebba
|
update output to 0.9.2
|
2017-02-18 10:44:10 +00:00 |
|
|
|
720082b308
|
.
|
2017-02-17 22:59:57 +00:00 |
|
|
|
027da56fa1
|
.
|
2017-02-17 12:09:10 +00:00 |
|
|
|
f144d0565b
|
.
|
2017-02-16 23:49:45 +00:00 |
|
|
|
592b6ade54
|
footer
|
2017-02-16 23:45:55 +00:00 |
|
|
|
377ade1725
|
conex post
|
2017-02-16 23:35:02 +00:00 |
|
|
|
3942c38ec1
|
adding text about maintainer inference
|
2017-02-16 23:28:44 +00:00 |
|
|
|
5caddd7b04
|
.
|
2017-02-15 22:00:32 +00:00 |
|
|
|
02cc21041a
|
.
|
2017-02-14 17:27:06 +00:00 |
|
|
|
f4e7085d41
|
mirage3
|
2017-02-14 17:19:16 +00:00 |
|
|
|
9e02d1b68b
|
.
|
2017-02-14 14:37:35 +00:00 |
|
|
|
c830fbc6eb
|
.
|
2017-02-03 12:32:39 +00:00 |
|
|
|
e7971ba29d
|
tweaks
|
2017-01-31 16:20:10 +00:00 |
|
Jochen Bartl
|
77930a21e9
|
Removed superfluous "some"
|
2017-01-30 23:47:18 +01:00 |
|
Mindy Preston
|
cb8215d707
|
small typo fixes
|
2017-01-30 12:28:46 -06:00 |
|
|
|
dea12840a4
|
.
|
2017-01-30 18:15:48 +00:00 |
|
|
|
d686cee613
|
httpS
|
2017-01-30 15:31:49 +00:00 |
|
|
|
75b5d130f0
|
.
|
2017-01-30 14:04:31 +00:00 |
|
|
|
75e86a996e
|
.
|
2017-01-26 13:17:13 +00:00 |
|
|
|
4722a72fdc
|
.
|
2017-01-24 13:31:51 +00:00 |
|
|
|
b8d3ea3687
|
move updates to the end
|
2017-01-24 12:38:17 +00:00 |
|
|
|
f074cfdeaf
|
let's suggest 4.04
|
2017-01-09 13:37:37 +00:00 |
|
Stefan Grundmann
|
81cef5e4a4
|
fix 'opam switch -A' command
|
2017-01-09 10:26:00 +00:00 |
|
|
|
8d07c9c573
|
force-pushed
|
2016-11-06 21:29:45 +00:00 |
|
|
|
a970aaab59
|
syslog
|
2016-11-05 21:13:27 +00:00 |
|
|
|
2503110c35
|
test it
|
2016-11-05 13:53:50 +00:00 |
|
|
|
8aa3bb5ee2
|
.
|
2016-10-30 01:59:45 +02:00 |
|
|
|
e5fd06e2c0
|
.
|
2016-10-30 01:59:28 +02:00 |
|
|
|
8115e49d06
|
.
|
2016-10-30 01:56:07 +02:00 |
|
|
|
64a74cacae
|
.
|
2016-10-30 01:54:07 +02:00 |
|
|
|
19feb8b342
|
reflect that changes are now upstreamed
|
2016-10-20 00:03:09 +01:00 |
|
|
|
bdc5d8d0f1
|
minor
|
2016-10-14 13:50:44 +01:00 |
|
|
|
6fa601b6ca
|
merged now
|
2016-07-22 19:14:44 +02:00 |
|
|
|
cf9afdfd11
|
.
|
2016-07-22 01:27:11 +02:00 |
|
|
|
949839852f
|
.
|
2016-07-21 22:45:51 +02:00 |
|
|
|
f9906b4112
|
.
|
2016-07-21 22:44:58 +02:00 |
|
|
|
f48a48683b
|
updates
|
2016-07-21 22:12:15 +02:00 |
|
|
|
9cf163d98c
|
updates
|
2016-07-21 21:40:10 +02:00 |
|
|
|
02a2fcd749
|
.
|
2016-07-12 17:04:00 +01:00 |
|
|
|
1538261cef
|
.
|
2016-07-12 16:47:07 +01:00 |
|
|
|
f3e63446db
|
.
|
2016-07-12 16:40:31 +01:00 |
|
|
|
cdbdbaff06
|
.
|
2016-07-12 16:40:22 +01:00 |
|
|
|
0820713c9b
|
.
|
2016-07-06 13:57:39 +01:00 |
|
|
|
cf7d7f4517
|
.
|
2016-07-06 13:44:15 +01:00 |
|
|
|
312aed8ee5
|
minor
|
2016-07-02 18:07:47 +01:00 |
|
|
|
00fbc272b3
|
minor
|
2016-07-02 18:02:05 +01:00 |
|
|
|
d0509acdba
|
minor
|
2016-07-02 17:50:12 +01:00 |
|
|
|
6cc11707dd
|
minor
|
2016-07-02 17:47:22 +01:00 |
|
|
|
3a410192d2
|
solo5
|
2016-07-02 17:45:04 +01:00 |
|
|
|
5472f1b2dd
|
.
|
2016-06-11 19:53:17 +01:00 |
|
|
|
cb71f67479
|
typo
|
2016-06-11 18:31:01 +01:00 |
|
|
|
cb5876f59d
|
.
|
2016-06-11 18:21:34 +01:00 |
|
|
|
3b20a06e60
|
.
|
2016-05-10 15:58:09 +01:00 |
|
|
|
e55c0aa3d2
|
.
|
2016-05-10 15:51:57 +01:00 |
|
|
|
32ca70df24
|
get rid of StringPrinter
|
2016-05-08 09:54:23 +01:00 |
|
|
|
6ce1f73a95
|
.
|
2016-05-06 22:30:20 +01:00 |
|
Raphaël Proust
|
6d2bf74ce9
|
Typo fixes
Fixes issue #2
|
2016-05-04 09:23:58 +01:00 |
|
|
|
341aa10ef3
|
.
|
2016-05-03 22:31:16 +01:00 |
|
|
|
bbea5d026e
|
.
|
2016-05-03 20:14:11 +01:00 |
|
|
|
3a4aa22bf3
|
.
|
2016-05-03 20:01:08 +01:00 |
|
|
|
15a4c10a9d
|
minor from micah
|
2016-05-03 19:26:23 +01:00 |
|
|
|
22e4000373
|
minor
|
2016-05-03 18:28:50 +01:00 |
|
|
|
d3733137e1
|
mindy
|
2016-05-03 14:28:48 +01:00 |
|
|
|
5135b367e1
|
initial
|
2016-05-03 14:28:17 +01:00 |
|
|
|
240c1ea027
|
.
|
2016-04-25 15:13:36 +01:00 |
|
|
|
9e1bccad4b
|
.
|
2016-04-25 14:52:03 +01:00 |
|
|
|
dd10b3315d
|
PKI
|
2016-04-25 14:49:44 +01:00 |
|
|
|
9a6ccbe5ef
|
uni all the kernels
|
2016-04-25 14:09:25 +01:00 |
|
|
|
b68552ec7c
|
.
|
2016-04-25 00:01:50 +02:00 |
|
|
|
d25317b5e4
|
link to rresult
|
2016-04-22 12:10:11 +02:00 |
|
|
|
6ad975083e
|
make it typecheck
|
2016-04-18 00:17:20 +01:00 |
|
|
|
c1efa3c5e1
|
.
|
2016-04-18 00:11:12 +01:00 |
|
|
|
bb87160923
|
.
|
2016-04-17 20:54:41 +01:00 |
|
|
|
688e084af4
|
.
|
2016-04-17 19:47:07 +01:00 |
|
|
|
ce67613e52
|
.
|
2016-04-17 19:46:31 +01:00 |
|
|
|
1dabed1a13
|
.
|
2016-04-17 19:34:58 +01:00 |
|
|
|
105e5d292a
|
.
|
2016-04-17 19:25:42 +01:00 |
|
|
|
0e50c541eb
|
.
|
2016-04-14 16:07:29 +01:00 |
|
|
|
7cfd9db75e
|
.
|
2016-04-12 08:19:27 +01:00 |
|
|
|
f9e1e3a8d1
|
typo
|
2016-04-10 15:27:14 +01:00 |
|
|
|
03e8dd49c9
|
clarify
|
2016-04-10 15:25:06 +01:00 |
|
|
|
45233d70cb
|
..
|
2016-04-10 13:39:18 +01:00 |
|
|
|
29cd2aeadc
|
..
|
2016-04-10 13:03:58 +01:00 |
|
|
|
e280c416b6
|
..
|
2016-04-10 13:03:36 +01:00 |
|
|
|
c51700226a
|
..
|
2016-04-10 13:01:01 +01:00 |
|
|
|
a94d5375bc
|
typos
|
2016-04-10 09:12:39 +01:00 |
|
|
|
7bd050d6d6
|
.
|
2016-04-09 22:57:42 +01:00 |
|
|
|
f789f3f27d
|
.
|
2016-04-09 22:54:52 +01:00 |
|
|
|
12281c5434
|
add
|
2016-04-09 20:01:19 +01:00 |
|
|
|
54c3a66f21
|
os
|
2016-04-09 19:50:20 +01:00 |
|
