From 3df3e0f6f8a61a43a03ebd7907f604407df89259 Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Fri, 30 Mar 2018 17:49:35 -0700 Subject: Add CHANGES for removing Implicit Arguments and Arguments Scope --- CHANGES | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 24c4cfec0..d982e0af7 100644 --- a/CHANGES +++ b/CHANGES @@ -6,6 +6,11 @@ Tools - Coq_makefile lets one override or extend the following variables from the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS. +Vernacular Commands + +- Removed deprecated commands Arguments Scope and Implicit Arguments + (not the option). Use the Arguments command instead. + Changes from 8.7.2 to 8.8+beta1 =============================== -- cgit v1.2.3