2 Commits

Author	SHA1	Message	Date
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