]> matita.cs.unibo.it Git - helm.git/blob - TODO
projects / helm.git / blob
? search:


0c8bb535744e99d4bb4bb29ce91a76a8dfdeef13
[helm.git] / TODO
1 * lexical coloring (done)
2 * hyperlinks (call signal with position)
3 * keyboard popup
4 * protection
Unnamed repository; edit this file 'description' to name the repository.