| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Record inclusion checks between value_descriptions in .cmt files. This makes... | Alain Frisch | 2014-01-28 | 1 | -2/+14 |
| * | Synchronize with trunk. | Alain Frisch | 2013-07-16 | 1 | -2/+2 |
| |\ | |||||
| | * | #5980: explicit way to silence the new warning (open! X). | Alain Frisch | 2013-05-16 | 1 | -2/+2 |
| * | | Starting to keep attributes in the typedtree. | Alain Frisch | 2013-03-25 | 1 | -2/+2 |
| |/ | |||||
| * | #5809: remove hash-consing of environments, replaced by a much cheaper one-sl... | Alain Frisch | 2012-11-08 | 1 | -21/+1 |
| * | Fix problem of size of bin-annot files | Fabrice Le Fessant | 2012-07-12 | 1 | -3/+97 |
| * | #5640: use open_in_bin to read cmt files. | Alain Frisch | 2012-06-08 | 1 | -1/+1 |
| * | #5639: Write cmt files with open_out_bin. | Alain Frisch | 2012-06-08 | 1 | -1/+1 |
| * | keep the text width to 80 columns | Jacques Garrigue | 2012-05-31 | 1 | -10/+8 |
| * | merge with bin-annot: add missing files | Fabrice Le Fessant | 2012-05-30 | 1 | -0/+158 |
