lugins/syntax extensions for ocaml
Cheers,
C.S.C.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
and plead for some sponsor.
Thanks in advance,
C.S.C.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
exactly what I need to do).
Thanks in advance,
C.S.C.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
Dear Mehdi,
the most recent camlp5 version in git seems to fix enough bugs to let
the version of matita in Debian compile.
Fingers crossed,
C.S.C.
On Fri, 2016-01-22 at 15:06 +0100, Claudio Sacerdoti Coen wrote:
> Hi,
>
> this is another bug in camlp5. To trigger it it is s
> File "hExtlib.ml", line 530, characters 4-8: Actual
> declaration
> ../Makefile.common:99: recipe for target 'hExtlib.cmo' failed
> make: *** [hExtlib.cmo] Error 2
>
> Didn't you get that error?
>
--
Prof. Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: clauio.sacerdotic...@unibo.it
http://www.cs.unibo.it/~sacerdot
Package: libzip-ocaml-dev
Version: 1.04-3
Severity: grave
Justification: renders package unusable
zip.a missing:
gcc: /usr/lib/ocaml/3.11.0/zip/zip.a: No such file or directory
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact
Package: ocaml-tools
Version: 2006.05.15-1
Severity: important
The current version of omlet sets efm to a new value forgetting the
previous one. As a result vim does no longer jump to the error location
when make is issued. This behaviour can be reproduced with ocaml-tools
2006.05.15-1.
Your
name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
with options -byte,
see chapter 12).
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E
After all if you allow someone to modify your code, it is logical to allow
for the same modification rights for the documentation
Hope this makes it clear ?
Yes, it does. Thanks.
--
Real name: Claudio Sacerdoti Coen
Doctor
) OK or not to
have it in main?
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL
.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE
there is coqide that uses threads
and lablgtk2. The perfect mix of problems...
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
it)
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED
;-]).
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
.
Back from holidays,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it
Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED
fix release
won't compile with ocaml 3.08 (due to changes in camlp4).
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
compatible. Le binaire résultant est alors
GPL.
Just curious,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University
?
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it
be GPLed.
Hope it helps,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe
?
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it
be GPLed.
Hope it helps,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble
: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
is always
freezed in the meantime).
Just my 2eurocents,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University
is always
freezed in the meantime).
Just my 2eurocents,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
...
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
in the future.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
in the same way ;-)
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail
for lablgtkmathview, I would be
very very interested in studing it!
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
rpath.tgz
Description: GNU
know of nobody using it and
camlimage in the same application.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student
into META.xxx, keep it where it is (inside the directory xxx) and
add the directory xxx to the findlib path (ugly IMHO).
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
into META.xxx, keep it where it is (inside the directory xxx) and
add the directory xxx to the findlib path (ugly IMHO).
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
.
T.I.A.
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
.
T.I.A.
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED
This one (posted on January 22) ?
Yes, exactly.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
]
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
]
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
party packages).
The real beauty of findlib is that the two aspects are completely
orthogonal.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD
. Moreover an interface to
a database is really a missing important package from the debian stuff.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD
. Moreover an interface to
a database is really a missing important package from the debian stuff.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
!
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
!
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
so it seem that my idea of several META file in the lablgtk package
can be the good one.
Yes, now I think so too.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science
so it seem that my idea of several META file in the lablgtk package
can be the good one.
Yes, now I think so too.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe
or not.
Thanks a lot,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
programming group and I find it extremely useful, even in
spite of some minor pitfalls.
Bests,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student
.
That's all for now.
Good night,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail
.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL
name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
, are libraries. So it makes sense.
My 0.001 euros,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
a phoenix, I suggest not to debianize it.
Just MHO,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E
a phoenix, I suggest not to debianize it.
Just MHO,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E
to have diversions for debian-installed binaries.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail
to have diversions for debian-installed binaries.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail
try the installation today.
Stay tuned for bug-reports,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E
]
Any clue?
TIA,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
On Mon, Apr 02, 2001 at 17:52:58 +0200, Claudio Sacerdoti Coen wrote:
Hello world,
while rebuilding the package of ocaml for potato, Tk is not
recognized. The very strange thing is that it is recognized
if I run ./configure by hand, but not if it is run automatically
during
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
--
To UNSUBSCRIBE, email to [EMAIL
igure have the highest
precedence. The point is why passing them instead of relying on
configure itself?
Cheers,
C.S.C.
--
Real name: Claudio Sacerdot
the installation today.
Stay tuned for bug-reports,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E
]
Any clue?
TIA,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: [EMAIL PROTECTED]
http
On Mon, Apr 02, 2001 at 17:52:58 +0200, Claudio Sacerdoti Coen wrote:
Hello world,
while rebuilding the package of ocaml for potato, Tk is not
recognized. The very strange thing is that it is recognized
if I run ./configure by hand, but not if it is run automatically
during the package
1 - 100 of 120 matches
Mail list logo
