[Apologies for cross-postings.]
CALCULEMUS 2010 - Deadline Extension and Final Call for Papers
17th Symposium on the Integration of
Symbolic Computation and Mechanise
Sebastian Mondet wrote:
> On my N810, thanks to the "easy debian" technique:
> http://wiki.maemo.org/Easy_Debian
>
> I got access to all the ocaml packages which are available on debian-ARM.
Everything I tried
> worked perfectly (but I only tried "text mode" apps).
That seemed a little heavy for t
The 9th International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
MKM 2010
http://cicm2010.cnam.fr/mkm/
CNAM, Paris, France, 8th-10th July 2010
DEADLINE EXTENSION:
Abstracts: Wednesday, 3rd March 2010
Papers:
[Apologies for possible multiple postings.]
---
First CALL FOR PAPERS
---
In co-operation with ACM SIGSAM, the International Workshop on
Programm
Should anyone be crazy enough to want to examine or modify Windows
Registry 'hive' (binary) files directly, they can now do so from
OCaml, since we added OCaml bindings to our hivex library:
http://libguestfs.org/hivex.3.html
http://git.annexia.org/?p=hivex.git;a=commitdiff;h=095c395082d1aad1e855
On Thu, Feb 25, 2010 at 9:45 AM, Sebastien Ferre
wrote:
> Hi,
>
> I have an application that I would love to run
> on my N810. I know this is possible because it
> has been done for Unison, including its GTK interface.
>
> http://talk.maemo.org/showthread.php?t=27426
>
> However, I haven't a clue
Hi,
I have an application that I would love to run
on my N810. I know this is possible because it
has been done for Unison, including its GTK interface.
http://talk.maemo.org/showthread.php?t=27426
However, I haven't a clue on how this has been done.
Sebastien Mondet wrote:
Hi,
On my N810,
