Added inline links, too
Getty Ritter
9 years ago
15 | 15 | </div> |
16 | 16 | <div> |
17 | 17 | <ul> |
18 | <li><code>gidl-mode</code> — major mode for editing | |
19 | <code>gidl</code> interface files.</li> | |
20 | <li><code>ndbl-mode</code> — major mode for editing | |
21 | <cody>ndbl</code> configuration files.</li> | |
18 | <li><code>gidl-mode</code> — minimal major mode for editing | |
19 | <a href="https://github.com/GaloisInc/gidl"><code>gidl</code></a> interface files.</li> | |
20 | <li><code>ndbl-mode</code> — minimal major mode for editing | |
21 | <a href="https://github.com/aisamanra/ndbl"><cody>ndbl</code></a> configuration files.</li> | |
22 | 22 | </ul> |
23 | 23 | </div> |
24 | 24 | </body> |