git.libre-soc.org Git - cvc5.git/commit

author	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 22:10:47 +0000 (22:10 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 22:10:47 +0000 (22:10 +0000)
commit	de96bc814a6dd3b619bf247e8e83375d0ae7d595
tree	187cd229a7bdc67399999bc397a8524761fea176	tree
parent	a34b66437f97f66d9dcd1caa0919f66cf316e238	commit \| diff

remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing-mode from contrib/editing-with-emacs

73 files changed:

contrib/update-copyright.pl		diff \| blob \| history
src/context/context.cpp		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/context/context_mm.cpp		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/expr/attr_type.h		diff \| blob \| history
src/expr/attr_var_name.h		diff \| blob \| history
src/expr/command.cpp		diff \| blob \| history
src/expr/command.h		diff \| blob \| history
src/expr/expr.cpp		diff \| blob \| history
src/expr/expr.h		diff \| blob \| history
src/expr/expr_manager.cpp		diff \| blob \| history
src/expr/expr_manager.h		diff \| blob \| history
src/expr/kind_epilogue.h		diff \| blob \| history
src/expr/kind_middle.h		diff \| blob \| history
src/expr/kind_prologue.h		diff \| blob \| history
src/expr/node.cpp		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_attribute.h		diff \| blob \| history
src/expr/node_builder.cpp		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_value.cpp		diff \| blob \| history
src/expr/node_value.h		diff \| blob \| history
src/include/cvc4_config.h		diff \| blob \| history
src/main/about.h		diff \| blob \| history
src/main/getopt.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/main.h		diff \| blob \| history
src/main/usage.h		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/parser/antlr_parser.cpp		diff \| blob \| history
src/parser/antlr_parser.h		diff \| blob \| history
src/parser/cvc/cvc_lexer.g		diff \| blob \| history
src/parser/cvc/cvc_parser.g		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/parser/smt/smt_lexer.g		diff \| blob \| history
src/parser/smt/smt_parser.g		diff \| blob \| history
src/prop/cnf_conversion.h		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/interrupted.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/util/Assert.cpp		diff \| blob \| history
src/util/Assert.h		diff \| blob \| history
src/util/debug.h		diff \| blob \| history
src/util/decision_engine.cpp		diff \| blob \| history
src/util/decision_engine.h		diff \| blob \| history
src/util/exception.h		diff \| blob \| history
src/util/literal.h		diff \| blob \| history
src/util/model.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history
src/util/output.cpp		diff \| blob \| history
src/util/output.h		diff \| blob \| history
src/util/result.h		diff \| blob \| history
src/util/unique_id.h		diff \| blob \| history
test/unit/context/context_black.h		diff \| blob \| history
test/unit/context/context_mm_black.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history

RSS Atom