Todd Gamblin
|
e7ced54369
|
Correct LLNL LGPL license template for clarity.
|
2016-05-11 21:22:25 -07:00 |
|
Todd Gamblin
|
e3115aa505
|
Kripke variants.
|
2016-05-10 00:31:06 -07:00 |
|
Todd Gamblin
|
2e0ee5404d
|
clean up Kripke package and dependencies.
|
2016-05-09 17:14:25 -07:00 |
|
Tanzima Z. Islam
|
23ec6c6bb0
|
Removed FIXME comments
|
2016-05-09 16:34:27 -07:00 |
|
Tanzima Z. Islam
|
045e5bd458
|
Adding a new package: Kripke from the public tar ball
|
2016-05-09 16:22:07 -07:00 |
|
Tanzima Z. Islam
|
9f212e7201
|
Adding a new package file for Kripke
|
2016-05-06 13:50:34 -07:00 |
|