|
|
dae7b3a35f
|
Update coq and use default emacs.
|
2017-02-10 09:34:34 +01:00 |
|
|
|
1ae12c020e
|
update clion eap
|
2017-02-03 22:18:19 +01:00 |
|
|
|
1909d263af
|
software updates
|
2017-01-28 08:28:50 +01:00 |
|
|
|
6428369565
|
Update IntelliJ EAP.
|
2017-01-06 17:01:43 +01:00 |
|
|
|
19e4b2c927
|
Update IntelliJ EAP.
|
2016-12-27 17:33:10 +01:00 |
|
|
|
58e1f382d9
|
Use my own emacs, with gtk3 and webkit.
|
2016-12-26 17:22:22 +01:00 |
|
|
|
7d4a31190c
|
update intellij eap
|
2016-12-04 11:08:52 -05:00 |
|
|
|
97d9a83984
|
update clion eap
|
2016-11-21 07:54:33 -05:00 |
|
|
|
d0ce6a025f
|
add ninja, loc, atom
|
2016-11-14 10:47:30 -05:00 |
|
|
|
2796a7cfa3
|
update clion eap
|
2016-11-14 10:47:25 -05:00 |
|
|
|
c3611e01c0
|
Update jetbrains EAPs.
|
2016-11-09 09:32:19 -05:00 |
|
|
|
a5013fca8c
|
Update jetbrains eap versions.
|
2016-10-28 20:28:21 -04:00 |
|
|
|
1e4dfbfcf2
|
Update proofgeneral.
|
2016-10-16 11:47:13 -04:00 |
|
|
|
a49f8d7830
|
Update clion EAP.
|
2016-10-16 09:40:08 -04:00 |
|
|
|
28877a52f0
|
Update IDEA EAP.
|
2016-10-03 09:30:01 -04:00 |
|
|
|
35020bda00
|
add ripgrep
|
2016-10-03 09:21:18 -04:00 |
|
|
|
393d9a8016
|
add perf
|
2016-09-21 09:11:24 -04:00 |
|
|
|
8d4e2f2f25
|
add clion
|
2016-09-21 09:11:17 -04:00 |
|
|
|
e5a105ebba
|
Update IntelliJ EAP.
|
2016-08-31 09:17:31 +02:00 |
|
|
|
c52d1025d7
|
Update IntelliJ EAP.
|
2016-08-31 08:37:16 +02:00 |
|
|
|
de5129f7a6
|
archachatina: support polaris
|
2016-08-30 08:31:11 +02:00 |
|
|
|
d1a832662a
|
add imagemagick
|
2016-08-20 18:14:37 +02:00 |
|
|
|
67964d70c8
|
update stable nixpkgs version
|
2016-08-20 18:11:14 +02:00 |
|
|
|
f067618792
|
update intellij eap
|
2016-08-20 18:09:04 +02:00 |
|
|
|
04fb42851f
|
update intellij eap
|
2016-08-10 08:20:56 +02:00 |
|
|
|
909569663c
|
update intellij eap
|
2016-07-28 16:11:24 +02:00 |
|
|
|
8bcc0c1df6
|
Add glucose and tokei
|
2016-07-22 19:27:53 +02:00 |
|
|
|
3613c12b47
|
Refactor systemPackages. Do not install everything on euhadra.
|
2016-07-22 13:01:40 +02:00 |
|
