Missing primitives in HMap.
Universe level maps use HMaps.
Adding a "is_val" primitive to IStream.
Small code sharing in TacticMatching.
When I make MacOS binary, I would like to have a coqtop able to speak to coqide without building coqide
Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists
A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle

The created bundle contains only coqide and gtk (no coqtop, no stdlib)
the art of forgetting new files during rebase -i
Ide: Drop argument added by MacOS during .app launch