diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2019-01-12 19:42:37 -0500 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2019-01-12 19:42:37 -0500 |
| commit | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (patch) | |
| tree | d06d857e9839f4662e8d36249e9c55e75a51c9ea /etc/demoisa/D.ML | |
| parent | fb3b75dab55b6e6befffc53e136422558be5faa0 (diff) | |
* pg-init.el: Add subdirs during compilation (bug #413)
* generic/pg-user.el (proof-add-completions): `proof-assistant` can
also be the empty string :-(
Diffstat (limited to 'etc/demoisa/D.ML')
0 files changed, 0 insertions, 0 deletions