Skip to content
GitLab

relax AsFractional Hint Mode

Merged Ralf Jung requested to merge ralf/as-frac-mode into master

This weakens the Hint Mode for AsFractional such that when the goal is l_new ↦{#1 / 2 + ?evar} _, iSplitL works.

Edited by Ralf Jung