Make

-I plugin
-R src Actario

plugin/actor_table.ml
plugin/actor_table.mli
plugin/actor_mlutil.ml
plugin/actor_mlutil.mli
plugin/actor_modutil.ml
plugin/actor_modutil.mli
plugin/actor_extraction.ml
plugin/actor_extraction.mli
plugin/actor_common.ml
plugin/actor_common.mli
plugin/erlang.ml
plugin/erlang.mli
plugin/actor_extract_env.ml
plugin/actor_extract_env.mli
plugin/g_actor_extraction.ml4
plugin/actor_extraction_plugin.mlpack

# basic
src/ssrascii.v
src/ssrstring.v
src/syntax.v

# for name uniqueness
src/util.v
src/name_dec.v
src/semantics.v
src/chain.v
src/gen_fresh.v
src/no_dup.v
src/trans_invariant.v

# spec & proof mechanism
src/fairness.v
src/specification.v
src/auto.v
src/tactics.v