I would like to commit the following patch.
Currently, our configure script has PACKAGE_URL="", i.e. no reference to
the homepage of FriCAS.
I would like to use PACKAGE_URL in the generation of the documentation
(book and sphinx).
The attached patch declares https://fricas.github.io as the
On 8/28/20 9:35 PM, Waldek Hebisch wrote:
> the hack I proposed is not nice, it is similar to
> hacks that are probably in use in similar contexts:
> C compiler have to tolerate access beyond declared
> size to struct because lot of C code uses it. So
> I see no point of going in direction you
On Wed, Aug 26, 2020 at 06:08:42PM +0800, oldk1331 wrote:
> On 8/24/20 12:35 AM, Waldek Hebisch wrote:
> > On Sun, Aug 23, 2020 at 10:04:29PM +0800, oldk1331 wrote:
> >> Actually we can stick to hexadecimal for pid
> >> less than 1 million as well.
> >>
> >> Current possible max pid is defined by