6 Commits

Author	SHA1	Message	Date
Miguel de Benito	0b3ee03c16	Doc: updates to menu documentation	2014-02-16 13:54:20 +00:00
Miguel de Benito	17e823cd77	Fixed some typos in docs	2013-07-10 20:26:30 +00:00
Joris van der Hoeven	ea66b07bac	Continued preparations for reorganization of contextual overloading	2012-02-16 11:59:22 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00
Joris van der Hoeven	27429dbc1f	Documentation files are on Savannah. Keep hardcoded documentation though.	2003-10-26 14:05:44 +00:00
Joris van der Hoeven	42f95b218e	This commit was generated by cvs2svn to compensate for changes in r2, ... which included commits to RCS files with non-trunk default branches.	2003-10-24 10:51:35 +00:00