Skip to content

A
abc
Commit 590f74e9 by Alan Mishchenko
Options

Changed email address in the title page.

parent 85e23c84
Showing with 2 additions and 2 deletions
readme.md
......@@ -100,7 +100,7 @@ https://www.dropbox.com/s/qrl9svlf0ylxy8p/ABC_GettingStarted.pdf
Unfortunately, there is no comprehensive regression test. Good luck!
This system is maintained by Alan Mishchenko <alanmi@eecs.berkeley.edu>. Consider also
This system is maintained by Alan Mishchenko <alanmi@berkeley.edu>. Consider also
using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz
This file was last modified on April 25, 2013
This file was last modified on June 18, 2014
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment