 Ben Darwin
|
8565efc4da
|
remove manual derivation for popup-mode
|
2015-12-30 10:36:15 -05:00 |
|
|
Ben Darwin
|
8f7a867dcc
|
emacsPackagesNg.popup: 0.5.0 -> 0.5.2
|
2015-04-19 02:36:31 -04:00 |
|
|
Ben Darwin
|
f023c0a023
|
new emacs package: button-lock 1.0.2
|
2015-04-19 01:02:49 -04:00 |
|
|
Ben Darwin
|
54dab782be
|
twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd
|
2015-03-31 01:11:57 -04:00 |
|
|
Ben Darwin
|
172167c937
|
new package: abella 2.0.2
|
2015-03-24 00:54:03 -04:00 |
|
|
Ben Darwin
|
63d61cee7f
|
teyjus: 2.0-b2
|
2015-02-21 19:55:24 -05:00 |
|