2 Commits

Author	SHA1	Message	Date
hallgren	6ec31f029e	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	bbb79126b8	auxiliaries for making the synopsis with multilingual examples	2010-12-11 20:47:53 +00:00