7 Commits

Author	SHA1	Message	Date
Miguel de Benito	020d912b5d	Added append-preference as a convenience function	2012-09-19 12:45:41 +00:00
Miguel de Benito	c98adf2e39	Comment on options for contextually overloaded functions.	2012-09-14 11:05:19 +00:00
Miguel de Benito	a243a4be18	Added documentation for preferences api.	2012-09-11 15:22:56 +00:00
Miguel de Benito	a223d5df6d	Revert: won't store api docs as separate tm files	2012-08-27 15:12:11 +00:00
Joris van der Hoeven	87a19cbc22	correction	2012-08-27 14:18:21 +00:00
Joris van der Hoeven	0f698d9a42	Reorganization of contextual overloading system, part I	2012-02-16 20:49:50 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00