Obsolete keybinding
Script to extract the completion table
Merge branch 'completion' with 'master'
First implementation (not tested yet)
Major bugfixes
--no-win isn't needed
Merge branch 'master' into multiprocess
Slight optimisation
Minor fix
Fixed bug : unable to scan a buffer if it starts with a comment
Bug fix : cd not applied in interactive buffers
Indentation of select... else
Bugfix : indentation of type definitions in records
Updated readme
Updated documentation and copyright headers
Added eval-expression and eval-defun with proper behavior
Updated documentation with the new functions
Add magma-previous-expression
Documentation
Bug fix : '->' in homomorphism definitions