do not used value attribute but properly access user-defined one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17594 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed #1082 by looking up original bound names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17595 cec4b9c1-7d33-0410-9eda-942365e851bb
improvements on reftrees and arch specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17596 cec4b9c1-7d33-0410-9eda-942365e851bb
pretty printing for specs in ref trees
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17597 cec4b9c1-7d33-0410-9eda-942365e851bb
explicit set standard encoding for missing LANG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17598 cec4b9c1-7d33-0410-9eda-942365e851bb
support weak converse
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17599 cec4b9c1-7d33-0410-9eda-942365e851bb
do not set the history
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17600 cec4b9c1-7d33-0410-9eda-942365e851bb
exclude programatica tests without package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17601 cec4b9c1-7d33-0410-9eda-942365e851bb
introduce preliminary 'use' command and try file name extensions even for non-local imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17602 cec4b9c1-7d33-0410-9eda-942365e851bb
fixed 'use' keyword to support 'foo#bar' notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17603 cec4b9c1-7d33-0410-9eda-942365e851bb
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17604 cec4b9c1-7d33-0410-9eda-942365e851bb
relax test for VSE's Boolean result sort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17605 cec4b9c1-7d33-0410-9eda-942365e851bb
inserted unit proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17606 cec4b9c1-7d33-0410-9eda-942365e851bb
create plain tar-file in current directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17607 cec4b9c1-7d33-0410-9eda-942365e851bb
new distro
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17608 cec4b9c1-7d33-0410-9eda-942365e851bb
only suggest protege
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17609 cec4b9c1-7d33-0410-9eda-942365e851bb
fix AnalysisLibrary to compile with NOHTTP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17610 cec4b9c1-7d33-0410-9eda-942365e851bb
output hetsvse errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17611 cec4b9c1-7d33-0410-9eda-942365e851bb
hetsvse does not write to stderr reverted last change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17612 cec4b9c1-7d33-0410-9eda-942365e851bb
output hetsvse messages for debugging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17613 cec4b9c1-7d33-0410-9eda-942365e851bb