0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerDocumentation
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner=============
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerInformation not contained in this file can usually be found in the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerHets user guide (doc/UserGuide.pdf), on the Hets web page http://hets.eu/
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneror within the source itself.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerUnless you know what you are doing you should always install the prepared
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknersystem packages for your OS, instead of compiling it by yourself:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # add the hets PPA site to your system unless already done
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-add-repository ppa:hets/hets
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-add-repository -s \
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner "deb http://ppa.launchpad.net/hets/hets/ubuntu xenial main"
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # update the system's package catalog and install hets incl. dependencies
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-get update
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner apt-get install hets-desktop
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # to update your installation to a recent version do from time to time:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-get update
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner apt-get upgrade [hets-desktop]
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # add the package publisher info of the Uni Magedeburg to your system
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # if not already done (see "pkg publisher" output)
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner pkg set-publisher --add-origin http://pkg.cs.ovgu.de/lnf lnf
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # install hets incl. dependencies
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner pkg install hets-desktop
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner # to update your installation to a recent version do from time to time:
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner pkg update [hets-desktop]
98ea87ba6c1079d65391ba3b4d3dc472eb75796bJens ElknerTo get optional TeX/PDF support, you also need to install the related pdflatex
98ea87ba6c1079d65391ba3b4d3dc472eb75796bJens Elknerpackages (Ubuntu: texlive-latex-base, texlive-latex-extra, texlive-pictures,
98ea87ba6c1079d65391ba3b4d3dc472eb75796bJens Elknertexlive-fonts-recommended; Solaris 11+: tl-latex, tl-fonts, tl-utils).
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerAdding packages to the system usually requires additional privileges.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerSo sudo, pfexec or similar tools might be needed to be able to execute the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknercommands mentioned above successfully.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIn non-desktop environments like servers, where no GUI is needed or hets is
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerrunning as a service, you may prefer to install the package 'hets-server'
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerinstead. This one gets compiled without GTK+/Glade/TclTk support and thus
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerreduces the number of dependencies and required ressources noteworthy.
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens ElknerFor your convenience there are also the hets-server-all and hets-desktop-all
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elknerpackages: these are meta packages, which bundle hets-server and hets-desktop
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elknerwith other hets related tools (e.g. misc. provers) repectively.
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens ElknerAll mentioned packages can be installed side-by-side. The GUI version gets
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elknerusually started using the hets(1) command, a server instance can be started
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elknerusing the hets-server(1) command.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerBuilding from source
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner====================
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhets sources can be obtained using the following command:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerFor compilation we use the Glasgow Haskell Compiler "ghc" version 7.6.x and
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerabove as well as Java for some helper tools. So you need to install these tools
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneras well as all haskell modules required by hets.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerHaving a look at utils/installHetsPkgs.sh as well as var.mk may help to find
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerout, what is missing on your system. On debianized systems the following
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknercommand may automatically install all dependencies:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner DISTRO=`lsb_release -cs`
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-add-repository \
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner -s "deb http://ppa.launchpad.net/hets/hets/ubuntu ${DISTRO} main"
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner apt-get update
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens Elkner apt-get build-dep hets-src
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerFor Solaris 11+ have a look at http://pkg.cs.ovgu.de/lnf/en/catalog.shtml or
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthe output of e.g. "pkg list -a 'library/haskell/*'".
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerFor anything else have a look at the file 'debian/control' - watch out for
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner'Build-Depends:'.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerTo build the un-optimized versions of hets and the hets server, use:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerTo build the optimized versions incl. everything else needed for our debian
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerpackages, use:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerThis is basically the same as 'make hets-opt hets_server-opt docs'.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerOmitting the suffix '-opt' from a target creates the un-optimized versions of
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthe related binary. For more details study the Makefile (GNU style, so on
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerSolaris use 'gmake' instead of 'make').
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerNOTE that since version 0.99.10 programatica support is disabled by default.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIf you want programatica support you need to extract the sources first into
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerprogramatica/tools (this folder should than contain the Setup.hs file). One
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknermay try 'make get-programatica' as an alternative - it tries to fetch the
63f101eea51c833ecf28ec5b1ff509595c9cc54eJens Elknersource[s] defined in var.mk and extract them to the right place. On Ubuntu you
63f101eea51c833ecf28ec5b1ff509595c9cc54eJens Elknershould also install the package 'libghc-programatica-dev'. To compile
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerwithout programatica support again, just rename or delete ./programatica/
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerand do a 'make distclean' before building the new binaries. 'make realclean'
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneris almost the same, but it leaves the derived aka generated sources untouched
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerand thus may cause problems. For more information wrt. programatica see
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerOn debian based system one may even use the following or similar command, to
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknercreate the all *.deb packages out of the box in the parent directory of Hets:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner export DEB_BUILD_ARCH=1
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner fakeroot make binary
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerFor more details consult the Makefile. The resulting packages can be installed
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneras usual using something like 'dpkg -i ../hets-*.deb'. But make sure, you have
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerread and understood the 'Package-Versioning:' section below first!
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerOn other systems, when the desired targets were made, you may install the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerbinary/docs into your own local directory by setting the PREFIX environment
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknervariable to a corresponding value first and calling the appropriate target
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner(default is /usr). E.g.:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner PREFIX=/home/foo/bar/hets make install
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerInstead of 'install' one may use the targets 'install-common', 'install-hets'
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerand 'install-hets_server' as well. Installing to a system directory like /usr
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneror /local/usr is strongly discouraged. Only Distro conform packages should be
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerinstalled there (and can thus can be removed in a clean and easy way)!
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerTo install to a virtual root, one may set the environment variable DESTDIR to
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthe desired directory. Per default it is unset and thus equivalent to / .
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerLast but not least one may set the environment variable DEB_BUILD_ARCH to a
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknernon-null value (as dpkg-buildpackage automatically does). In this case the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerPREFIX gets effectively prefixed packagewise by another one, which makes
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerpackageing easier and uniform across different OS.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerOne should NEVER make _any_ target as user 'root' or as a user with
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneradditional privileges, which allow one to overwrite/delete system files!
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerWhen you want to create debian binary packages, use the fakeroot variant
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknershown above instead.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerOn MacOSX building the GUI supporting binaries may not work because of missing
afd59fd120e5e150bf726ddd25a7e2a4bb6e8908Jens ElknerTesting the build
afd59fd120e5e150bf726ddd25a7e2a4bb6e8908Jens Elkner=================
afd59fd120e5e150bf726ddd25a7e2a4bb6e8908Jens ElknerTo run all available tests against the hets binary, simply type:
afd59fd120e5e150bf726ddd25a7e2a4bb6e8908Jens ElknerIt is recommended to have 'spass' and 'darwin' installed to avoid skipping
afd59fd120e5e150bf726ddd25a7e2a4bb6e8908Jens Elknerrelated tests.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerExamples for testing can be obtained from
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhttp://www.informatik.uni-bremen.de/cofi/Libraries/lib.tgz
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerExample specifications can be found under:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIf you have installed hets using the packaging system of your OS distribution,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerit should already be installed (package name hets-libs or something like that).
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerHets assumes that it has a copy in ../lib/hets/hets-lib relative to the bin/
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerdirectory with the hets/het-server script or the HETS_LIB is set to the folder,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerwhich contains it.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerTry out e.g. "hets -g Basic/Numbers.casl" to see if the graphical interface
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerpops up. If this does not work, maybe "uDrawGraph" (Version 3.1.1) from
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhttp://www.informatik.uni-bremen.de/uDrawGraph is not properly installed. Make
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknersure "uDrawGraph" can be found in your PATH.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhets and het-server usually installed in the bin/ folder are shell script
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerwrappers around the corresponding binaries in lib/hets/, which just set certain
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerenvironment variables to more or less meaningful values, if not yet done and
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerneeded. So have a look at it, if you need to know where hets is looking for
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerits libraries and helpers by default.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerProver related environment variables are:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner HETS_OWL_TOOLS
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner HETS_ISABELLE_LIB
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIn addition, proving users may set HETS_ISABELLE, if "isabelle emacs" is
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknernot the right call for their system. Isabelle version 2014 is supported.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerAnother typical call is 'hets -v2 -g -A Calculi/Space/RCCVerification.het'.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerYou may then try to prove the red nodes using SPASS or Isabelle. Isabelle is
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneronly needed for the single red node that is not supported by other provers.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerThe used Isabelle example proof is stored in the file
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIf you install the emacs casl-mode you can also run hets from within emacs on a
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerspecification file with C-c C-r or C-c C-g (to get the graphical interface).
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerNote that hets uses the "patch" program before calling Isabelle. It assumes,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthat this is the GNU version of it. So especially on Solaris 11+ make sure,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthat the 'gnu-patch' package is installed.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerFor convenience you may use 'make archive' to export the HEAD of your _local_
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhets repository to an xz compressed tar archive (see git-archive(1) for more
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerinformation). HEAD refers usually to the last commited version of your current
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerbranch (see "git branch"). Such an archive is e.g. needed for uploading a
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknersource package to an Ubuntu Personal Package Archive (PPA). For this in
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneraddition some minor things get pre-compiled/build, minimal git infos exported
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerto related files, redundant or unneeded data get deleted and programatica gets
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerbundled as is, because Ubuntu PPAs do not allow to download required
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerpre-requisites on-the-fly. But remember, the Ubuntu PPA is really picky about
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerarchive names, so for each release one should choose a different filename,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerotherwise be prepared for getting it rejected. Therefore you may set the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerenvironment variable ARC_NAME to get out of the box you need, e.g.:
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner ARC_NAME=/tmp/foobar-1.2.3.tar.xz make archive
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIf there is already an archive with the same name, it will be overwritten
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerunconditionally!
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerThe make targets 'clean', 'build', 'build-arch', 'build-indep' as well as
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkner'binary', 'binary-arch' and 'binary-indep' are reserved in the sense of
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhttps://www.debian.org/doc/debian-policy/ch-source.html#s-debianrules
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerand basically do, what the document says they should do.
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elkner==========================================
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerActually for each intended package publication on the PPA, the related commit
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknershould be either propperly tagged OR `Driver/Version.hs` should be updated using
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknera number tripple with no leading zero[s] (see semantic versioning). For now it
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elkneris a twin pack only and thus we always add a '.1' and get "A.B.1" as our first
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerpart (in debian terms the "upstream_version").
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens ElknerThe optional .D.E part is used for unreleased versions/current builds of
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknerthe master branch. For D the numbers 0..5 are reserved for us (hets maintainer),
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknerand might be used to express e.g. nightly, alpha, beta, RC, or FCS builts.
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens ElknerAll other numbers can be used as needed by people/organizations/etc., which
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknerbuild their own hets packages. This way they are always able to let their own
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknerpackages supersede packages built by hets developers/PPA without violating the
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elknerversion semantics and still get next releases (A.B.C+1) w/o having to do
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elkneranything. On [new] releases we set .D.E back to .0.0 and thus gets ommitted
2f0e7c8caf8083c9634f64c4bf22765c46e9a51eJens Elkner(more than 3 numbers: trailing zero pairs get deleted).
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerThe second part (in debian terms the "debian_revision") is made of the string
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknern.m.r[.c] whereby n denotes number of pkg build modification count wrt. the
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerupstream_version. With each new upstream_version it starts again with 1 and
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknergets increased, if the source didn't change, but the way, how the package gets
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerbuild/structured. m.r is the LSB_RELEASE of the intended OS.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerThe last optional part [.c]* is used (simply incremented by 1 on demand), if
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerneither source nor pkg build procedure has been changed, but a new version is
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerneeded to be able to overwrite old stuff, e.g. if the PPA goes mad again.
68ae7b41aca2f24dbbc376becc45a7b713cdc48dJens ElknerSo e.g. to be able to overwrite the current installed hets packages with your
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerown version without getting into trouble, and getting this in turn automatically
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerreplaced on e.g. 'apt-get update; apt-get upgrade' when a new version arrived,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerone should just set FULL_DEBVERS to the same of the latest or installed package,
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerappend a '.1' and increment it on demand. If it is not set, make deduces it from
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerthe running system.
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerWe use neither the debian epoch nonsense, nor lsb release names or other
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerquestionable stuff - just A.B.C-n.m.r[.c]* and none of them zero padded!
0490829cf473c66c1f2e06d09dd5bc1937121198Jens ElknerIf you have any problems, please ask via our mailing list
0490829cf473c66c1f2e06d09dd5bc1937121198Jens Elknerhets-devel@informatik.uni-bremen.de or file an issue on
2295e38944bfcd91b9507e2fa9abe5a561817648Till MossakowskiThe heterogeneous tool set (Hets) is mainly maintained by
5f184698e58f31e670c54c12d858a7c7322277b4Christian MaederChristian Maeder (Christian.Maeder@dfki.de) and
a7fd2cfb9493db122a449809b6d21e15f0356e8bChristian MaederTill Mossakowski (mossakow@iws.cs.uni-magdeburg.de).