[RPL/2] RPL/2-4.00pre8x

[BERTRAND Joël]

	Hello,

	Several major bugs have been fixed since pre8w:
- repression bug in PRINT (due to latex pathes);
- configure.in (to avoid gnuplot compilation when 
--disable-embedded-gnuplot is set);
- new prompt is used;
- ARCCOS, ARCSIN, ARCTG, ARGCH, ARGSH, ARGTH, CH, SH, TH and TG 
intrinsics are removed, because all of these intrinsics have two forms. 
ARCCOS is the same than ACOS, TAN=TG, COSH=CH. Please adapt your scripts;
- major bug is fixed in multitasking subroutines. This bug comes from 
new design of POSIX threads.

	Regards,

	JKB