5 Commits

Author	SHA1	Message	Date
aarne	2b8585f8f3	simplified the deprecated complex lincat of PredefCnc.Int	2008-09-03 09:45:09 +00:00
krasimir	b698d0f90c	move the prelude sources to the prelude directory and add the resource library to cabal	2008-06-19 14:16:05 +00:00
aarne	54d6dd30cc	prelude sources to lib/src; present in StructuralEng; refactored checkGFCC	2007-12-13 10:12:00 +00:00
aarne	0f4a01000e	inherent features of Int	2006-04-04 14:44:46 +00:00
aarne	5137cfeeb8	library adjustments, error message clean-up	2005-04-28 15:42:47 +00:00