diff options
| author | Yves Bertot | 2020-03-31 17:33:14 +0200 |
|---|---|---|
| committer | Yves Bertot | 2020-03-31 17:55:10 +0200 |
| commit | a8c8fd1f52f90606f5aaf4f4b810b70aabc9caa2 (patch) | |
| tree | b0e84f62af50e8b8df4de7399bf87af12ddaded8 /mathcomp/fingroup | |
| parent | 06048e6125b430133e3eb2102e166545f5f804f2 (diff) | |
remove deprecated commands whose deprecation was introduced in release 1.9.0
fixes #418
Diffstat (limited to 'mathcomp/fingroup')
| -rw-r--r-- | mathcomp/fingroup/perm.v | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/mathcomp/fingroup/perm.v b/mathcomp/fingroup/perm.v index 34f230e..eb5e028 100644 --- a/mathcomp/fingroup/perm.v +++ b/mathcomp/fingroup/perm.v @@ -576,7 +576,3 @@ Qed. End LiftPerm. Prenex Implicits lift_perm lift_permK. - -Notation tuple_perm_eqP := - (deprecate tuple_perm_eqP tuple_permP) (only parsing). - |