Skip to content

New syntax - better hyps grouping
Compare
Choose a tag to compare
@Matafou Matafou released this 06 Jun 07:37
· 42 commits to master since this release
libhyps-2.0.1
a1c24d2

2.0.1: fixing the configure script for coq-opam-archive.
2.0.0: This release adds a new syntax for usual post-tactic actions, like /n for autonaming, /s for subst, /g for grouping non-Prop hyps at top, etc. The grouping has been enhanced: it groups hypothesis with similar (non-Prop) types.

Assets 2
Loading