Joris van der Hoeven e52ee04602 Improved scheme interface for printing		2017-12-14 21:06:44 +00:00
..
api	Improved scheme interface for printing	2017-12-14 21:06:44 +00:00
bibliography	Rename	2011-08-28 07:59:50 +00:00
buffer	open-window returns the window	2012-09-20 16:21:31 +00:00
database	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
edit	Minor fixes	2015-06-29 10:29:52 +00:00
graphics	Rename	2011-08-28 07:59:50 +00:00
gui	Doc: now really fixed	2014-01-02 19:29:37 +00:00
overview	fix typos, thanks to Zhaochong Jia	2017-10-13 06:30:48 +00:00
utils	Doc update	2015-03-15 20:17:08 +00:00
scheme.en.tm	glue functions in apidoc and completions	2016-02-02 08:01:37 +00:00