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