Version 0.2.11-1 of logiweb has been uploaded.
Logiweb allows to web publish 'Logiweb pages', i.e. journal quality
articles which contain machine readable objects like programs,
testsuites, definitions, axioms, lemmas, and proofs. Among other, Logiweb
is suited for literate programming and for
Hi Volker,
logiweb-0.2.10-1 uses both
/usr/share/doc/logiweb-0.2.10-1
/usr/share/doc/logiweb
documentation dirs. It's the general consensus that it should be
/usr/share/doc/logiweb
OK. Thanks. I will move
/usr/share/doc/logiweb-0.2.10-1/CHANGELOG
to
/usr/share/doc/logiweb/CHANGEL
On Mon, 10 May 2010, Steven Collins wrote:
... I'm not a fan of "cpm.exe" for two reasons. 1) ... 2) ...
Good points
"CygwinPackageManager.exe" communicates clearly what the
program is without any further need of explanation.
That is a good name. Simple is beautiful.
Maybe one should also
It sounds nice that there is a movement to brush up the graphic design of
the Cygwin web pages.
I have used Cygwin for a couple of years, but on this list I am just a
newcomer. I hope it is ok to leave a few comments which you *might*
consider.
I liked the proposal of David Eisner (http://cy
On Sun, 5 Jul 2009, Christopher Faylor wrote:
Hi,
You responded to an unrelated message and changed the subject entirely.
Please do not do that.
OK - Sorry - Klaus
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation:
Hi Dave,
Can anyone tell me how to invoke a program from a big-stack program ...
The problem is not spawning the new executable. The problem is ...
Thanks for the explanation.
...
955 cygthread *h = new cygthread (proc_waiter, 0, this, "proc_waiter");
...
And thanks for the very accurate fi
Hi,
Can anyone tell me how to invoke a program from a big-stack program
(i.e. a program which has a big stack). Here is a small big-stack program
which reproduces the problem:
---
$ more example.c
#include
#include
int main(){
printf("Hello\n");
spawnlp(_P_WAIT,"ls","ls",NULL);
printf
7 matches
Mail list logo
