diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-03-08 14:26:00 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-04-07 02:56:18 +0200 |
| commit | 633e40b6f925556e94347c348a2804cdc1068d88 (patch) | |
| tree | b8063831a6a2ca60cf45d903dedf11f83b308fe5 /CHANGES | |
| parent | 1d0eb5d4d6fea88abc29798ee2004b2e27e952c6 (diff) | |
[camlpX] Enrico's changes to camlp4 removal.
This removes some remaining support for camlp4 in the infrastructure
and documents the change.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -26,6 +26,10 @@ Plugins - The mathematical proof language (also known as declarative mode) was removed. +Dependencies + +- Support for camlp4 has been removed. + Changes from V8.6beta1 to V8.6 ============================== |