Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Clarify unimplemented settings | 2008-07-05 | |
* | Add use-holes setting. | 2008-07-05 | |
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | 2008-07-05 | |
* | Comments. | 2008-01-31 | |
* | Fix RCS tags | 2008-01-30 | |
* | Move proof-experimental-features back and make it constant. | 2008-01-29 | |
* | Move proof-experimental-features | 2008-01-29 | |
* | Add unicode-tokens-enable | 2008-01-25 | |
* | New files. | 2008-01-15 |