Hi Corinna,
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.11-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.11-1-src.tar.bz2
Uploaded.
Thanks
Please announce the new
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
Hi Corinna,
http: //logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http:
//logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.10-1.tar.bz2
http:
//logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.10-1-src.tar.bz2
Uploaded. Please announce the new package
Hi Corinna,
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.10-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.10-1-src.tar.bz2
Uploaded. Please announce the new package on the
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
Hi Corinna,
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1-src.tar.bz2
# setup.hint file for the Logiweb package for CYGWIN
Hi Corinna,
Is
gcc tetex tetex-base tetex-extra
the right list of dependencies for setup.hint?
Yes, but not quite. Only the runtime dependencies should be mentioned
here, but gcc is sort of a problem. Are you referring to gcc 3 or gcc 4?
Since you built with gcc4 and since gcc4 is the
Hi Corinna,
# setup.hint file for the Logiweb package for CYGWIN
sdesc: a system for electronic distribution of mathematics
...
Your package looks basically good with two small exceptions ...
Thanks. The following seems to solve the issues.
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1-src.tar.bz2
# setup.hint file for the Logiweb package for CYGWIN
sdesc: a system
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
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
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 stdio.h
#include process.h
int main(){
printf(Hello\n);
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
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:
14 matches
Mail list logo