Window creation/X11: Difference between revisions
Content added Content deleted
(→{{header|TXR}}: Replace redundant code with link to X11 solution under Window Creation.) |
(→{{header|TXR}}: Correct link. We can't link to the X11 sub-section because #X11_3 is ambiguous.) |
||
Line 1,152: | Line 1,152: | ||
=={{header|TXR}}== |
=={{header|TXR}}== |
||
See [[Window_creation# |
See [[Window_creation#TXR]]. |
||
{{omit from|ACL2}} |
{{omit from|ACL2}} |