corrections in appnote
authorAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 15:18:53 +0000 (16:18 +0100)
committerAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 15:18:53 +0000 (16:18 +0100)
commit3dd316bdc79bb50c2b968808b4917cb8a49a362e
tree4c031b446fdf8f7ce86321bcdb46c462a50cc521
parent6c6cdf736a5371f715a8f7d759e9caf72db5b21e
corrections in appnote
manual/APPNOTE_012_Verilog_to_BTOR.tex