aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Notations.v
Commit message (Expand)AuthorAge
...
* deduplicate Let_In into src/Util/LetIn.vGravatar Andres Erbsen2016-09-17
* Add λn reserved notationGravatar Jason Gross2016-09-16
* Reserve [->] like in 8.5, so we can redefine it in 8.4Gravatar Jason Gross2016-09-05
* Reserve λ notationGravatar Jason Gross2016-09-02
* Add reserved syntax-let notationGravatar Jason Gross2016-09-02
* Add another reserved notationGravatar Jason Gross2016-09-01
* Add more reserved infixesGravatar Jason Gross2016-08-31
* Integrate suggestions from AndresGravatar Jason Gross2016-08-25
* Add more reserved notationsGravatar Jason Gross2016-08-24
* Remove unnecessary pseudo notations (#47)Gravatar Rob Sloan2016-08-08
* Set Asymmetric Patterns, add util lemmas about sigGravatar Jason Gross2016-07-29
* Get rid of unparsable unicode notationGravatar Jason Gross2016-07-28
* Add more reserved notationsGravatar Jason Gross2016-07-28
* Add unicode reserved notationsGravatar Jason Gross2016-07-28
* Move most notation level declarations into UtilGravatar Jason Gross2016-07-27
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* Fix notations, add &Gravatar Jason Gross2016-07-06
* Improve some reserved notationsGravatar Jason Gross2016-07-06
* Improve some tactics and lemmasGravatar Jason Gross2016-06-23
* Fix broken notations (hopefully)Gravatar Jason Gross2016-06-22
* Fix missing notationsGravatar Jason Gross2016-06-22
* Aggregate all level specifications not in Spec/*Gravatar Jason Gross2016-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 13:01:09 +0000