Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
tl
tl.tex
Find file
Blame
History
Permalink
Rewrite {b}<>->f as (!b)|f instead of b->f.
· f68f639e
Alexandre Duret-Lutz
authored
Nov 13, 2011
* src/ltlast/binop.cc, src/ltlast/binop.hh: Here. * doc/tl/tl.tex, src/ltltest/equals.test: Adjust.
f68f639e