#40 (Feb 26, 2016, 12:17:10 PM)

	Changes finite precision computation to determine sign for comparison (detail / hgweb) positive precision for truncate; fixed precision for approximation of rationals; code for truncate (detail / hgweb) compute_real_of_float has not been used as code equation (detail / hgweb)
	Started by an SCM change
	Revision: 28d2c75dd180d58818fdf3eef36d47b052357f2b
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #40	( 57 min )	Console Output
isabelle-repo-afp	build #40	( 2 hr 51 min )	Console Output