Artifact 9b0fd2f0be2c221fa9097281783a6a9d2aec912a:
- File pages/lang.in — part of check-in [8e1d4f3bb5] at 2015-09-09 15:39:43 on branch trunk — Enhance wrap.tcl to recognize <yyterm> elements in the input HTML and convert them into real HTML that renders an terminal-symbol oval around the enclosed text. Use this markup when talking about terminal symbols in the language specification. (user: drh size: 207726)
A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.