6 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	0fe31d6618	Replace no_name predicate by buffer_has_name	2012-03-21 14:40:12 +00:00
Joris van der Hoeven	53b975df66	Rename pretend-save-buffer	2012-03-20 21:36:22 +00:00
Joris van der Hoeven	4ad73d1301	Rename get-name-buffer and set-name-buffer	2012-03-19 16:05:12 +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	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