GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-29 18:48:37 -06:00
Code Issues Packages Projects Releases Wiki Activity
4,708 Commits 9 Branches 8 Tags
43e39af33a8999ac0d0e81f0aa1b00fd873c909f
Commit Graph

3 Commits

Author SHA1 Message Date
Thomas Hallgren 75e1c10250 synopis: add header styles that match the GF home page 2018-10-25 17:04:36 +02:00
hallgren 06aa7948da Add a Quick Links menu to the Libary Synopsis web page. 
The menu is generated dynamically by JavaScript functions defined in
quicklinks.js, by traversing the Detailed Table of Contents in the 
generated synopsis.html.
 2017-06-01 18:21:52 +00:00
aarne 5977d08bb7 auxiliaries for making the synopsis with multilingual examples 2010-12-11 20:47:53 +00:00