projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39229ff) | patch
updating COPYING file to reflect that antlr_input_imports.cpp is not under CVC4 copyright
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Apr 2010 19:23:37 +0000 (19:23 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Apr 2010 19:23:37 +0000 (19:23 +0000)
commitf55a79b565151772bbf67ae2517a025c8999bca0
tree80442dfce29f0bc0e182a54d2411ea8439685152tree
parent39229ff984a94294105288e41f53f0a19887785bcommit | diff
updating COPYING file to reflect that antlr_input_imports.cpp is not under CVC4 copyright
COPYING diff | blob | history