Search

Sort by

In Project(s)

Searched defs:dir_trace (Results 1 - 1 of 1) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A D	overload_loadfile.ml	`167 let dir_trace = OldTopdirs.dir_trace var in Module:Topdirs`

Completed in 44 milliseconds