jump to defn based on Locate Library loop and .glob files#265

Draft

aa755 wants to merge 2 commits intocpitclaudel:masterfrom aa755:new_jump_to_defn

+72-36

Commits on Nov 30, 2022

jump to defn based on Locate Library loop and .glob files
aa755
committed

Commits on Feb 3, 2023

bugfixes in globfile-based jumping and Locate Library based targetfile resolution: when globfile is present, jump to constructor now works even the inductive is inside a module
aa755
committed