moving ov into develop

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5902 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
moving ov into develop

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5903 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
added a hack-fix to parser to prevent it from segfaults

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5904 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
including runtimeserver into develop

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5992 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
adding source

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5993 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
adding includes

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5994 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
source was wrongly copied

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5995 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
refreshing code from the correct source directory

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5996 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
removing wrongly copied code

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5997 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
refreshing code from the correct source directory

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5998 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
removing wrongly copied code

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@5999 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
refreshing code from the correct source directory

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6000 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
now will run ov_runtimeserver to load the libraries defind with -w switch

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6035 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
added function 
OV_TIME getnexteventtime()

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6106 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
added static_library_table for compiling against static libraries

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6234 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
deleted unnecessary includes

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6236 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
comment corrected (concerning linker args)

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6237 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
proper error outputs with syntax highlight in eclipse

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6578 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
Playing with error output

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6752 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265
imporvements in the error output for eclipse

git-svn-id: https://dev.plt.rwth-aachen.de/acplt-repo/develop/ov/trunk@6753 7a3915f3-eddd-4ae9-ab37-eb2ea51f0265