diff options
author | David A. Madore <david+git@madore.org> | 2016-11-25 10:57:01 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-11-25 15:47:00 +0100 |
commit | ac1c637c177684b9e408e800d10872897eadd59d (patch) | |
tree | b2e78a7d790b37811fc50fc19bf74218dd4bbdda /figs | |
parent | d4f6cce65eaa6e13bfbbb8de4d4e7df8e46a9d44 (diff) | |
download | inf105-ac1c637c177684b9e408e800d10872897eadd59d.tar.gz inf105-ac1c637c177684b9e408e800d10872897eadd59d.tar.bz2 inf105-ac1c637c177684b9e408e800d10872897eadd59d.zip |
Use "denote" for the relation between a regular expression and a language.
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions