Tue, 20 Mar 2012 21:34:42 +0100 | wenzelm | refined init_model: allow change of buffer name as caused by "Save as", for example; | changeset | files |
Tue, 20 Mar 2012 20:00:13 +0100 | wenzelm | basic support for bundled declarations; | changeset | files |
Tue, 20 Mar 2012 18:42:45 +0100 | blanchet | doc update | changeset | files |