davidtranhq
f79fec6db5
Fix ArrayNode.toTex(): Remove the row delimiter on the last row ( #2267 )
...
* fix toTex(): remove row delimiter on the last row
* remove row delimiter on the last row (use map and join instead of forEach)
* fix ArrayNode.toTex() unit tests incorrectly expecting a row delimiter on the last row
* added toTex() tests for nested cases
* fixed ArrayNode.toTex() for nested cases
* removed redunant variable
2021-07-03 12:10:22 +02:00
..
2020-09-20 18:01:29 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-01-31 11:02:26 +01:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-06-23 11:03:08 +02:00
2021-07-03 12:10:22 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-05-12 10:34:40 +02:00
2020-09-20 18:01:29 +02:00
2020-09-20 18:01:29 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2020-11-02 11:59:12 +01:00
2020-09-20 18:01:29 +02:00
2020-09-20 18:01:29 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2021-07-03 12:10:22 +02:00
2020-09-20 18:01:29 +02:00