add ubuntu package to INSTALL
[snark14.git] / src /
2018-02-13 Kevin M. RosenbergUsing stdlib.h rather than malloc.h
2018-02-12 Kevin M. RosenbergMove building of libsnark14.so to top level Makefile.
2018-02-12 Kevin M. RosenbergUse rand48()
2018-02-12 Kevin M. RosenbergDisable srand48/rand48 by default
2018-02-12 Kevin M. RosenbergChange name of atExitCleanup function
2018-02-12 Kevin M. RosenbergAutomatically remove snark.lock file on application...
2018-02-12 Kevin M. RosenbergUse rand48 rather than rand
2018-02-12 Kevin M. RosenbergMerge branch 'master' of ssh://tiger.med-info.com:8822...
2018-02-12 Kevin M. RosenbergBuild without src/snark/.deps/*.Po. May add back gcc...
2018-02-12 Kevin M. RosenbergBuild example user_defined programs
2018-02-12 Kevin M. RosenbergMake snark14 library
2018-02-12 Kevin M. RosenbergRemove .deps directory
2018-02-12 Kevin M. RosenbergBuild for /usr/local/qt3
2018-02-12 Kevin M. RosenbergBuild without /usr/local/snark14
2018-02-12 Kevin M. RosenbergFixed text file permissions
2018-02-12 Kevin M. RosenbergMigrated from xerces=2.x
2018-02-11 Kevin M. RosenbergInitial snark14m import