Commit Graph

5 Commits

Author SHA1 Message Date
Jeremie Dimino 2691c736ef allow to complete text in a tuareg buffer using the toplevel environment
Ignore-this: cdb99a49351689dc70386cf39083709

darcs-hash:20120716154000-c41ad-eac5e3f59960f62c93e1cf27f8e1ce982d9f9b95
2012-07-16 17:40:00 +02:00
Jeremie Dimino d8dae4ac5f typerex mode integration
Ignore-this: 75eac634eda3b909b6cac3ad1e6bab64

darcs-hash:20120222191910-c41ad-efba56e4d469a58b5595c992d1473768d38578c1
2012-02-22 20:19:10 +01:00
Jeremie Dimino 21ebe44ff0 better tuareg integration
Ignore-this: 4ba7fb3a818232c1423c9d7f1a65f318

darcs-hash:20120203094158-c41ad-f9d191e4ead0c4e8f7c7156edf1d92b3c381ac8e
2012-02-03 10:41:58 +01:00
Jeremie Dimino ec72c8c913 add a script to install compiler libraries
Ignore-this: 1be1715f4e0e3bbcb31cddaee9ff9ce6

darcs-hash:20110803113251-c41ad-48f30dafb6ad00e0549e2cece6f66a67767176d0
2011-08-03 13:32:51 +02:00
Jeremie Dimino 7965e3b3d2 add a README file
Ignore-this: f41dc4d77fd278216391bcdf741e8a74

darcs-hash:20110728195152-c41ad-60f250303a9601519226dcbbb4f8a4505599f4e3
2011-07-28 21:51:52 +02:00