Skip to content

Improvements from Jane Street#331

Open
spwhitton wants to merge 5 commits into
masterfrom
upstream-improvements
Open

Improvements from Jane Street#331
spwhitton wants to merge 5 commits into
masterfrom
upstream-improvements

Conversation

@spwhitton

Copy link
Copy Markdown
Member

These are some improvements that Jane Street would like to upstream.

All uses of 'caml' by tuareg.el are optional, so the semantics aren't right
for Package-Requires.  Practically speaking, there's no need to automatically
install caml-mode for everyone using tuareg-mode.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant