vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.14k stars 136 forks source link

form/tform/parform manpage #118

Closed alexmyczko closed 7 years ago

alexmyczko commented 8 years ago

maybe you want to add a manpage?

tueda commented 7 years ago

We could add it for the next release.

benruijl commented 7 years ago

Sounds good.

Op do 22 jun. 2017 15:59 schreef Takahiro Ueda notifications@github.com:

We could add it in the next release.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/vermaseren/form/pull/118#issuecomment-310388685, or mute the thread https://github.com/notifications/unsubscribe-auth/AARGGbr6g-T6pKK7Kua1o4Hndq9j4oFPks5sGnNRgaJpZM4JmX4_ .

alexmyczko commented 7 years ago

and release it? form is available in debian stable now!

benruijl commented 7 years ago

Hi Alex,

We will release Form 4.2 in a few weeks.

Op vr 23 jun. 2017 00:31 schreef Alex notifications@github.com:

and release it? form is available in debian stable now!

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://github.com/vermaseren/form/pull/118#issuecomment-310520602, or mute the thread https://github.com/notifications/unsubscribe-auth/AARGGTarktFzLVUcycvCLcZ4Qnkowxfpks5sGushgaJpZM4JmX4_ .

alexmyczko commented 7 years ago

is it possible to also get fixed some tests for non-x86 systems? https://buildd.debian.org/status/package.php?p=form

tueda commented 7 years ago

For some builds, like arm64, I see the build contains the problem of the sign of char, which has been fixed in the Git repository. On the other hand, x32 failed on 2 tests. Because the test suite is an old version, I can't see detailed logs of FORM errors. It is difficult to know the reason for now...

alexmyczko commented 7 years ago

tueda, that's fine, we'll see with the new 4.2 version which work then, and which not...

tueda commented 7 years ago

Finally it's merged. Thanks!