Tags

re ~~ ... searches (slow), re = [ QN expr ] (a bit faster), still usable

<re1|re2> with prt X^{-1} = X^{-1}, so that <a X|b X> = 1, useless for searches by partial final state

not so dumb record dumps; exact P, RE search, cross-B search (slow)

DG dbg shell usable

rudimentary DG debug shell

load full DG dump w/o errors