Page history
2 November 2016
add to external cat
m+23
improved (better names in syntax, define "inner" and "outer", clarifications)
+79
improve the description
+414
Kir
add to external cat
m01:09
+23
Kir
improved (better names in syntax, define "inner" and "outer", clarifications)
00:16
+79
Kir
improve the description
00:07
+414