[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: mathlib
- From: Luiz Henrique de Figueiredo <lhf@...>
- Date: Mon, 7 Apr 2014 08:25:52 -0300
> You just need the following files (list from 5.1---probably similar to 5.2 and 5.3):
The core modules are listed in src/Makefile in CORE_O.