Gabriel Ebner
|
49db581e8c
|
elan: 0.7.1 -> 0.7.2
|
2019-01-15 10:05:45 +01:00 |
|
Gabriel Ebner
|
0a7e258012
|
elan: 0.5.0 -> 0.7.1
|
2018-10-04 16:33:36 +02:00 |
|
volth
|
52f53c69ce
|
pkgs/*: remove unreferenced function arguments
|
2018-07-21 02:48:04 +00:00 |
|
Gabriel Ebner
|
0db951db83
|
elan: 0.3.2 -> 0.5.0
|
2018-05-14 09:40:13 +02:00 |
|
Gabriel Ebner
|
9df0c12cde
|
elan: 0.3.0 -> 0.3.2
|
2018-04-13 09:28:28 +02:00 |
|
Gabriel Ebner
|
99ee7fd311
|
elan: add leanchecker proxy
|
2018-04-11 19:08:22 +02:00 |
|
Gabriel Ebner
|
a378389ac2
|
elan: 0.1.0 -> 0.3.0
|
2018-04-11 18:05:15 +02:00 |
|
Gabriel Ebner
|
a14ae55c04
|
elan: init at 0.1.0
|
2018-04-10 18:38:45 +02:00 |
|