diff options
| author | Enrico Tassi | 2020-04-02 12:14:12 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-02 12:14:12 +0200 |
| commit | 0ce6013351c60f0abd4445c9eeccdd3749b071ec (patch) | |
| tree | 85194f55821511391f2aca58f346cbfd82012aed /mathcomp/fingroup | |
| parent | e44b131a6c01c9cac13b48b07e3ee4d7f8e8fb6c (diff) | |
| parent | a8c8fd1f52f90606f5aaf4f4b810b70aabc9caa2 (diff) | |
Merge pull request #468 from ybertot/remove-deprecated-from-1.9
remove deprecated commands whose deprecation was introduced in 1.9.0
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). - |