 Ivan Kozik
|
21c35e89e5
|
Fix precision note in the "Operators" reference page (#5243)
|
2016-09-22 15:42:03 +02:00 |
|
 Eksperimental
|
50a6b8722b
|
Fix a typo in the "Operators" page of the docs (#5242)
|
2016-09-22 10:25:20 +02:00 |
|
 Frédéric Boyer
|
06083a995f
|
Clarify some of the subtleties linked to term ordering in the docs (#5238)
|
2016-09-21 23:07:01 +02:00 |
|
 Andrea Leopardi
|
9da967d909
|
Add a section about comparison operators in the "Operators" page (#5230)
|
2016-09-20 13:02:35 +02:00 |
|
 Tai An Su
|
4f8adcbb14
|
Fix operators table (#5207)
|
2016-09-11 18:09:22 +02:00 |
|
|
Andrea Leopardi
|
d2b0ee38d3
|
Add a page in the docs about operators (#5142)
|
2016-08-19 00:36:37 +02:00 |
|