summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-10-30 21:27:07 +0100
committerDavid A. Madore <david+git@madore.org>2017-10-30 21:27:07 +0100
commit427fbb24996362094b14c49d7e8a3bda3339407b (patch)
tree0c1ea84afa84d4c54041ea7982527275b4cf0d52 /vc
parent5bdc28a5005aff51b09aa7907575af08ce299c15 (diff)
downloadinf105-427fbb24996362094b14c49d7e8a3bda3339407b.tar.gz
inf105-427fbb24996362094b14c49d7e8a3bda3339407b.tar.bz2
inf105-427fbb24996362094b14c49d7e8a3bda3339407b.zip
Reread sections on automata: various updates, clarifications, fixes.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions