login
home
contents
what's new
discussion
bug reports
help
links
subscribe
changes
refresh
edit
SandBox
TexFormat1
←
↑
new
last edited
2 years
ago by
TDT
TDT
2021/11/24 17:52:05 GMT+0
Edit detail for new revision 1 of 1
1
Editor:
TDT
Time:
2021/11/24 17:52:05 GMT+0
Note:
changed:
-
begin/{axiom} [1/7, 3/4, 5/6] end/{axiom}
begin/{axiom} [1/7, 3/4, 5/6]
?
end/{axiom}