.hgignore

# *** MOCS-COPYRIGHT-NOTICE-BEGIN ***
#
# This copyright notice is auto-generated by ./add-copyright-notice.
# Additional copyright notices must be added below the last line of this notice.
#
# MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/): ".hgignore".
# The content of this file is copyright of Saarland University -
# Copyright (C) 2009 Saarland University, Reactive Systems Group, Lars Kuhtz.
#
# This file is part of MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/).
#
# License: three-clause BSD style license.
# The license text can be found in the file LICENSE.
#
# *** MOCS-COPYRIGHT-NOTICE-END ***

syntax: glob
doc/*.pdf
doc/*.log
doc/*.aux
test/SuffixRolloutStat
test/RolloutStat
test/Rollout
*.a
*.orig
*.o
vardi*.vhdl
*.dot
*.ps
main
exprtest
auttest
*.hi
haskell-frontend/Main
haskell-frontend/Main2
libaaut.a
haskell-docs**
haskell-docs/src/**
formulas/all.data
libaaut/tags
test/aut
test/rollout
test/ctest
formulas/xst
glob:mocs-*.tar.bz2