diff options
| author | Jim Fehrle | 2020-04-12 11:40:28 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-08-25 11:36:47 -0700 |
| commit | 4a7e39323bd57ac41ec90d4ea18f10423029e8b5 (patch) | |
| tree | 5bd1463ebdc0610c18029ca20594e96f19493e7e /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | fa3d479cbf3f84a231fe8587c321df03538b18e7 (diff) | |
Convert ltac2 chapter to use prodn, update syntax
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions