[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Isarmathlib-devel] what do I download for ZF and where do I put it?
From: |
Jim Kingdon |
Subject: |
Re: [Isarmathlib-devel] what do I download for ZF and where do I put it? |
Date: |
Sun, 6 Nov 2011 21:06:35 -0500 |
User-agent: |
SquirrelMail/1.4.22 |
> Patch would be welcome of course.
Enclosed.
I can also push my tree to github if anyone would find that convenient,
although of course right now the only change is in the INSTALL file.
installation.diff
Description: Text Data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Isarmathlib-devel] what do I download for ZF and where do I put it?,
Jim Kingdon <=