from Coq 8.5pl3 to Coq 8.5
from Coq 8.5pl3 to Coq 8.5

the syntax of tactics in terms seems to have changed:

https://coq.inria.fr/distrib/V8.5/CHANGES
Changes from V8.5beta3 to V8.5
==============================

Tools

- Flag "-compat 8.4" now loads Coq.Compat.Coq84. The standard way of
  putting Coq in v8.4 compatibility mode is to pass the command line flag
  "-compat 8.4". It can be followed by "-require Coq.Compat.AdmitAxiom"
  if the 8.4 behavior of admit is needed, in which case it uses an axiom.

Specification language

- Syntax "$(tactic)$" changed to "ltac:(tactic)".

aa755/SquiggleEq,aa755/SquiggleEq