On Mon, Aug 17, 2015 at 3:28 PM, Kerim Aydin <ke...@u.washington.edu> wrote: > Thanks! Indexing is definitely something I'm thinking about. > Also thinking about mouseover text that has snippets of definitions > (e.g. only the single bullet that defines "SHOULD" could pop up).
Just for reference, an old (2010) attempt of mine along those lines: http://agora.qoid.us/old/current_flr.php?annotate=1 source file: http://agora.qoid.us/old/annotations.txt You could hover for the definition, or click to go to the relevant rule. I still think it looks spiffy :P
