Project

General

Profile

« Previous | Next » 

Revision 8b87d0a5

ID8b87d0a50b866e560c4da820620cf977008a91d6
Parent 0179e76f
Child 333e3a25

Added by Pierre-Loïc Garoche almost 2 years ago

Forcing mpfr status when -real mpfr asked. Default precision is 100 bits.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences