Joris van der Hoeven 19804cfb3d Display database warnings in console		2017-07-01 13:08:44 +00:00
..
api	Display database warnings in console	2017-07-01 13:08: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	Better formulation	2015-12-10 12:34:29 +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