Re: Opening html links in text mail

2002-03-16 Thread Dr. Sharukh K. R. Pavri.


msg.pgp
Description: PGP message


Re: Hook question

2002-03-16 Thread Jerome De Greef

* David T-G ([EMAIL PROTECTED]) wrote:
 Jerome --
 
 ...and then Jerome De Greef said...
 % 
 % I think I have the solution:
 
 Yay!
 
 
 % 
 % send-hook '~t .*' 'my_hdr From: Jerome De Greef [EMAIL PROTECTED]'
 % send-hook !'~t .*' 'my_hdr From: Jerome De Greef[EMAIL PROTECTED]'
 
 Does this work, or do you think it should?  I'd expect that you'd need
 
   ..*
 
 in your patterns instead of just 
 
   .*
 
 'cuz the former is one character plus zero or more characters while the
 latter still accepts none.
 
 Perhaps it works simply because there is a To: header to check versus one
 being absent; in that case, you can probably leave off the asterisk.

It works as is. But you're right, I thought .* was doing what ..* does.
I'm not that good with regular expressions. BTW, doesn't ..* do the same
as .+ ?

Jerome

-- 
+---+
|   'the panorama of the city is wrong  |
|   in fact the city seems to be gone!' |
| the clash, stop the world, 1980   |
+---+



Bug Report Guide

2002-03-16 Thread Sven Guckes

I have updated my text about reporting bugs
and made it available as a separate page:
http://www.math.fu-berlin.de/~guckes/mutt/bugrep.html

Additions?  Corrections?  Feedback welcome!

Sven

-- 
Sven [EMAIL PROTECTED]  [mutt-versions]  Latest versions:
MUTT http://www.mutt.org/  news:comp.mail.mutt  mutt-1.2.5   [000729]
MUTT http://www.math.fu-berlin.de/~guckes/mutt/ mutt-1.3.28  [020313]
MUTT MUTT - *the* mailer for UNIX with color, threading, IMAP+MIME+PGP+POP



Mutt 1.3.28 + ncurses 5.2 + xterm = blank screen

2002-03-16 Thread Pavel Roskin

Hello!

I've compiled mutt-1.3.28i in the default configuration on RedHat Linux
7.2 (i386) with all updates.  If I run it in xterm (from XFree86-4.1.0) or
in rxvt-2.7.6, it shows a blank screen.  I can quit by pressing Ctrl-C and
Enter.  The same executable runs on the Linux console just fine.

It turns out that the default configuration uses ncurses-5.2.  I tried
configuring Mutt with slang-1.4.4.  It works fine.

My guess is that Mutt does something with page switching that the newer
versions of ncurses don't like.  I believe it's a major bug that will be a
frequently asked question as soon as mutt-1.4 is released.

I checked the lists to see if it's not already a frequently asked
question.  There is a very similar description of the problem, except that
it's not specific about software versions:

http://marc.theaimsgroup.com/?l=mutt-usersm=101062129425997w=2

-- 
Regards,
Pavel Roskin




Re: unsubscribing - contact list owner?

2002-03-16 Thread Sven Guckes

* John Poltorak [EMAIL PROTECTED] [2002-03-16 01:02]:
 I have just subscribed using a new email address but
 can't get the old address unsubscribed, which is still
 forwarded to me, so I get two copies of each msg.

let's see..

  http://www.mutt.org/mail-lists.html

well, this page allows subscription -
but no unsubscriptions.  (singing:)
you can check out any time you like -
 but you can never leave...  hehe

 I've tried changing the 'From:' line in mutt
 to the old subscription address but the mailing
 list manager won't accept it.  What can I do?

have you tried sending an unsubscription mail
from that old account of yours?  (i suppose
you tried that - but you did not say, so..)

what did majordomo return to you?
any error messages at all?
if all fails then you can probably
contact the list owner at
[EMAIL PROTECTED]

But I have nevr tried that and
I do not know who will repond
to that - if at all.  good luck!

Sven

-- 
echo help   | mutt [EMAIL PROTECTED]
echo lists  | mutt [EMAIL PROTECTED]
echo unsubscribe mutt-users | mutt [EMAIL PROTECTED]
echo unsubscribe me dammit  | mutt [EMAIL PROTECTED]



Re: New Mail while in Folder View - checks variables

2002-03-16 Thread Sven Guckes

* Dean Richard Benson [EMAIL PROTECTED] [2002-03-15 12:36]:
 Using the most recent version and starting mutt
 via mutt -y to default to the folder list.
 It shows me which folders have new mail in with
 the N character, but this never updates unless I
 a) exit and restart mutt b) go into a
 folder and then back to the folder list
 Is this the expected operation or have a fscked up?  :)

It's a feature.  When you are ready to read new mails
then simply give mutt some command like change-folder.
Also, there's the sync-mailbox command which forces
mutt to update the current mailbox.  And then there
are these variables for checking for new mail:
  check_new  mail_check  pop_checkinterval
I'm sure you will be able to make ue of these.

but if you need *immediate* notification
then check the page in my signature.

Sven  [updating his text on mut philosophy]

-- 
Sven Guckes   [EMAIL PROTECTED]
URL: http://www.math.fu-berlin.de/~guckes/mail/notification.html
Mail Notification FAQ - which programs notify you about new mail?
Sample setups welcome!



Re: Hook question - making a point

2002-03-16 Thread Sven Guckes

* Jerome De Greef [EMAIL PROTECTED] [2002-03-16 09:25]:
  % send-hook  '~t .*' 'my_hdr From: JDG [EMAIL PROTECTED]'
  % send-hook !'~t .*' 'my_hdr From: JDG [EMAIL PROTECTED]'
  Does this work, or do you think it should?
  I'd expect that you'd need ..* in your
  patterns instead of just .* 'cuz the former is
  one character plus zero or more characters
  while the latter still accepts none.
 
  Perhaps it works simply because there is a To:
  header to check versus one being absent; in that
  case, you can probably leave off the asterisk.

 It works as is. But you're right, I thought .* was
 doing what ..* does.  I'm not that good with regular
 expressions.  BTW, doesn't ..* do the same as .+ ?

it depends.  really - it all depends on
the language you currently have available.

The operator '+' might not be available at all.
But the usual workaround for 1 or more times
of X is to use XX*.

Anyway, if you simply need a default rule for
all addresses then you need to check for just
only  character in the address, right?
Checking for more is simply superfluous.

Also, the pattern in the send-hook command
is applied to the addresses in TO/CC, anyway,
so all you need is to give part of the address:

 send-hook   . 'my_hdr From: JDG [EMAIL PROTECTED]'
 send-hook ! . 'my_hdr From: JDG [EMAIL PROTECTED]'

this should work.  untested, though.

Sven  [who always sends with a replyable address]

-- 
Sven Guckes  [EMAIL PROTECTED]
MUTT SETUP TIPS: http://www.math.fu-berlin.de/~guckes/mutt/setup.html
MUTT HOOKS EXAMPLE:  send-hook .  'set signature=~/.sig.mine'
 send-hook guckes 'set signature='



Re: Mutt 1.3.28 + ncurses 5.2 + xterm = blank screen

2002-03-16 Thread Thomas Dickey

On Fri, Mar 15, 2002 at 03:40:57PM -0500, Pavel Roskin wrote:
 Hello!
 
 I've compiled mutt-1.3.28i in the default configuration on RedHat Linux
 7.2 (i386) with all updates.  If I run it in xterm (from XFree86-4.1.0) or
 in rxvt-2.7.6, it shows a blank screen.  I can quit by pressing Ctrl-C and
 Enter.  The same executable runs on the Linux console just fine.

what $TERM value?
 
 It turns out that the default configuration uses ncurses-5.2.  I tried
 configuring Mutt with slang-1.4.4.  It works fine.
 
 My guess is that Mutt does something with page switching that the newer
 versions of ncurses don't like.  I believe it's a major bug that will be a
 frequently asked question as soon as mutt-1.4 is released.
 
 I checked the lists to see if it's not already a frequently asked
 question.  There is a very similar description of the problem, except that
 it's not specific about software versions:
 
 http://marc.theaimsgroup.com/?l=mutt-usersm=101062129425997w=2

That doesn't sound the same.  The closest I can recall from this list is
one that says the pager comes up blank - both ncurses and slang.

-- 
Thomas E. Dickey [EMAIL PROTECTED]
http://invisible-island.net
ftp://invisible-island.net



Re: Opening html links in text mail

2002-03-16 Thread MuttER

* Dr. Sharukh K. R. Pavri. [EMAIL PROTECTED] [03-16-02 03:51] crowed:
 On Fri, 15 Mar 2002, David T-G wrote:
 -- Simon
 
  % On an somewhat related note, I have a mutt icon in PNG format which is the
  % right size for the bottom panel if KDE users want an icon to automatically
  % launch Mutt (I use xterm -e mutt) from the panel.
  
  Oooh!  Gimme!
  
 
 me too :-)

Got a lot of altitude on this one.  May achieve orbit.
-- 
Pat Shanahan Registered Linux User #207535
  Registered at: http://counter.li.org
  9:06am  up 1 day, 11:54,  6 users,  load average: 0.01, 0.06, 0.03



Re: Hook question - making a point

2002-03-16 Thread Jerome De Greef

* Sven Guckes ([EMAIL PROTECTED]) wrote:
 * Jerome De Greef [EMAIL PROTECTED] [2002-03-16 09:25]:
   % send-hook  '~t .*' 'my_hdr From: JDG [EMAIL PROTECTED]'
   % send-hook !'~t .*' 'my_hdr From: JDG [EMAIL PROTECTED]'
   Does this work, or do you think it should?
   I'd expect that you'd need ..* in your
   patterns instead of just .* 'cuz the former is
   one character plus zero or more characters
   while the latter still accepts none.
  
   Perhaps it works simply because there is a To:
   header to check versus one being absent; in that
   case, you can probably leave off the asterisk.
 
  It works as is. But you're right, I thought .* was
  doing what ..* does.  I'm not that good with regular
  expressions.  BTW, doesn't ..* do the same as .+ ?
 
 it depends.  really - it all depends on
 the language you currently have available.

I was talking about Mutt ;)

 The operator '+' might not be available at all.
 But the usual workaround for 1 or more times
 of X is to use XX*.
 
 Anyway, if you simply need a default rule for
 all addresses then you need to check for just
 only  character in the address, right?
 Checking for more is simply superfluous.

Right...

 Also, the pattern in the send-hook command
 is applied to the addresses in TO/CC, anyway,
 so all you need is to give part of the address:
 
  send-hook   . 'my_hdr From: JDG [EMAIL PROTECTED]'
  send-hook ! . 'my_hdr From: JDG [EMAIL PROTECTED]'
 
 this should work.  untested, though.

Just tested it and it doesn't work...

Jerome

-- 
+---+
|   'the panorama of the city is wrong  |
|   in fact the city seems to be gone!' |
| the clash, stop the world, 1980   |
+---+



Re: Running stuff on windows (sans install script)

2002-03-16 Thread David Rock

On Sat, Mar 16, 2002 at 02:03:42PM +0900, Jonathan Gardner wrote:
 Because windows doesn't have an install script that works properly, you
 may be wondering how to get stuff to work without it.
 
I have found that the binary package from www.python.org has a very
good install script, but I can post some explicite info if you want.

 This is easily done with environmental variables. Set BTTC_ROOT_DIR to
 the root dir of whichever source you are using. If you have a CVS
 checkout, set it to the root of that. If you have a downloaded copy, set
 it to where the files were unzipped.
 
 This will allow you to run the bmed, ved, and bttc scripts in the
 bin directory.
 
 (AS a sidenote, I heard that windows has a problem with the scripts not
 having a .py ending. Any solutions, anyone? I'll do a little research
 myself.)

If you run python explicitly with the script, then you can get away with
not having a .py extension. (e.g. c:\python21\python script) You may be
better off just adding the extension and associating it to python.

 If you want to run the scripts individually, you'll need to set
 PYTHONPATH to the lib directory of whatever you are using. This will let
 you run a script like lib/battlemech/design.py.

Win32 Python by default gets it's PYTHONPATH from the registry. Using a
PYTHONPATH environment variable will work, though.


-- 
David Rock
[EMAIL PROTECTED]



msg25617/pgp0.pgp
Description: PGP signature


Re: Mutt 1.3.28 + ncurses 5.2 + xterm = blank screen

2002-03-16 Thread Ken Wahl

On Fri, Mar 15, 2002 at 03:40:57PM -0500, Pavel Roskin wrote:
 Hello!
 
 I've compiled mutt-1.3.28i in the default configuration on RedHat Linux
 7.2 (i386) with all updates.  If I run it in xterm (from XFree86-4.1.0) or
 in rxvt-2.7.6, it shows a blank screen.  I can quit by pressing Ctrl-C and
 Enter.  The same executable runs on the Linux console just fine.
 
 It turns out that the default configuration uses ncurses-5.2.  I tried
 configuring Mutt with slang-1.4.4.  It works fine.
 
 My guess is that Mutt does something with page switching that the newer
 versions of ncurses don't like.  I believe it's a major bug that will be a
 frequently asked question as soon as mutt-1.4 is released.
 
 I checked the lists to see if it's not already a frequently asked
 question.  There is a very similar description of the problem, except that
 it's not specific about software versions:
 
 http://marc.theaimsgroup.com/?l=mutt-usersm=101062129425997w=2
 

I compiled 1.3.28 on RH 7.2 with ncurses-5.2.12 and XFree86-4.1.0-3 and
mutt works fine in xterm, gnome-terminal and Konsole.  My $TERM is set
to xterm.  My compile options are:

Mutt 1.3.28i (2002-03-13)
Copyright (C) 1996-2001 Michael R. Elkins and others.
Mutt comes with ABSOLUTELY NO WARRANTY; for details type `mutt -vv'.
Mutt is free software, and you are welcome to redistribute it
under certain conditions; type `mutt -vv' for details.

System: Linux 2.4.9-31 (i586) [using ncurses 5.2]
Compile options:
-DOMAIN
-DEBUG
-HOMESPOOL  +USE_SETGID  +USE_DOTLOCK  +DL_STANDALONE  
+USE_FCNTL  -USE_FLOCK
-USE_POP  -USE_IMAP  -USE_GSS  -USE_SSL  -USE_SASL  
+HAVE_REGCOMP  -USE_GNU_REGEX  
+HAVE_COLOR  +HAVE_START_COLOR  +HAVE_TYPEAHEAD  +HAVE_BKGDSET  
+HAVE_CURS_SET  +HAVE_META  +HAVE_RESIZETERM  
+HAVE_PGP  -BUFFY_SIZE -EXACT_ADDRESS  -SUN_ATTACHMENT  
+ENABLE_NLS  -LOCALES_HACK  +HAVE_WC_FUNCS  +HAVE_LANGINFO_CODESET  
++HAVE_LANGINFO_YESEXPR  
+HAVE_ICONV  -ICONV_NONTRANS  +HAVE_GETSID  -HAVE_GETADDRINFO  
ISPELL=/usr/bin/ispell
SENDMAIL=/usr/sbin/sendmail
MAILPATH=/var/spool/mail
PKGDATADIR=/usr/share/mutt
SYSCONFDIR=/etc
EXECSHELL=/bin/sh
MIXMASTER=/home/ken/Mix

-- 
Ken Wahl [EMAIL PROTECTED] http://www.kenwahl.org/
PGP/GPG Public Key at  http://www.kenwahl.org/pubkey.gpg
Meme Propagation Engine (MindSec) [NSA] version 7.34-12i
Weaponized Linux Kernel 2.4.9-31 Uptime Is 8 days 17:39



Re: Hook question - making a point

2002-03-16 Thread Sven Guckes

* Jerome De Greef [EMAIL PROTECTED] [2002-03-16 14:11]:
   BTW, doesn't ..* do the same as .+ ?
  it depends.  really - it all depends on
  the language you currently have available.
 I was talking about Mutt ;)

So was I.  more specifically, I was talking about
the regular expression library used within mutt.

   send-hook   . 'my_hdr From: JDG [EMAIL PROTECTED]'
   send-hook ! . 'my_hdr From: JDG [EMAIL PROTECTED]'
  this should work.  untested, though.
 Just tested it and it doesn't work...

hmm.. the pattern might need quoting:
 send-hook ! . 'my_hdr From: JDG [EMAIL PROTECTED]'

try again.  does it work now?

Sven



Re: Hook question

2002-03-16 Thread Andre Berger

* Jerome De Greef [EMAIL PROTECTED], 2002-03-15 08:20 -0500:
 send-hook '~t .*' 'my_hdr From: Jerome De Greef [EMAIL PROTECTED]'
 send-hook !'~t .*' 'my_hdr From: Jerome De Greef[EMAIL PROTECTED]'
 
 The first hook is used whenever I hit 'r' and there is a 'To:' line
 followed by any address.
 The second hook is used when I hit 'F' (newsgroup followup). 
 It matches any 'To:' line where the address is not anything... thus
 matching no 'To:' line at all.

I would like to set my Bcc headers on that basis, but it seems to
work randomly only!

send-hook '~t .*' 'my_hdr Bcc: mymail'
send-hook !'~t .*' 'unmy_hdr Bcc'

I would be very happy if anyone could tell me what to do in order to
turn off my Bcc header automatically when posting.

-Andre




msg25620/pgp0.pgp
Description: PGP signature


Re: POP New Messages

2002-03-16 Thread Dan Boger

On Sat, Mar 16, 2002 at 12:05:40AM -0800, Jerry Van Brimmer wrote:
 OK, I'll bite. How do you tell fetchmail to download only new mail?

from `man fetchmail`:


   Disposal Options
   -a, --all
  (Keyword:  fetchall)  Retrieve  both old (seen) and
  new messages from the mailserver.  The  default  is
  to  fetch  only  messages the server has not marked
  seen.  Under POP3, this option also forces the  use
  of  RETR rather than TOP.  Note that POP2 retrieval
  behaves as though --all is always on (see RETRIEVAL
  FAILURE  MODES below) and this option does not work
  with ETRN or ODMR.

so by default, only new messages are downloaded, unless you use the -a,
--all, or the 'fetchall' option.

:)

Dan

-- 
Dan Boger
Linux MVP
brainbench.com




msg25621/pgp0.pgp
Description: PGP signature


Re: unsubscribing

2002-03-16 Thread Dave Smith

On Fri, Mar 15, 2002 at 07:03:37PM +, [EMAIL PROTECTED] wrote:
 I have just subscribed using a new email address but can't get the old 
 address unsubscribed, which is still forwarded to me, so I get two copies 
 of each msg.
 
 I've tried changing the 'From:' line in mutt to the old subscription 
 address but the mailing list manager won't accept it.

I don't know how the list is set up, but it's majordomo, so...

Send an email to [EMAIL PROTECTED]

with the following in the body:

  unsubscribe mutt-users email-address

Depending on the policy set by the list administrator, this may

  o work automatically (unlikely)

  o require you to respond to a confirmation mail containing a special
code

  o require the list administrator to approve your unsubscription
manually

  o both of the above.

If you're still stuck, there should always be a real person at
[EMAIL PROTECTED] (assuming the list is set up correctly) with
the relevant password to be able to remove you manually.

HTH...
-- 
David SmithWork Email: [EMAIL PROTECTED]
STMicroelectronics Home Email: [EMAIL PROTECTED]
Bristol, England



Re: unsubscribing

2002-03-16 Thread Justin R. Miller

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Said John Poltorak on Fri, Mar 15, 2002 at 07:03:37PM +:

 I have just subscribed using a new email address but can't get the old
 address unsubscribed, which is still forwarded to me, so I get two
 copies of each msg.
 
 I've tried changing the 'From:' line in mutt to the old subscription
 address but the mailing list manager won't accept it.
 
 What can I do?

As well as changing the 'From:' header, try temporarily setting
$envelope_from as well.  

- -- 
[!] Justin R. Miller [EMAIL PROTECTED]
PGP 0xC9C40C31 -=- http://codesorcery.net

http://www.cnn.com/2002/ALLPOLITICS/01/29/inv.terror.probe/

-BEGIN PGP SIGNATURE-
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8k5Ne94d6K8nEDDERAkNXAJ96n90toLo3EfO4sb/obuWATTbvogCffxv9
PN1WfuRe8VK48UGb6bj6Pjw=
=SNhw
-END PGP SIGNATURE-



Re: Hook question - describe your problem!

2002-03-16 Thread Sven Guckes

* Andre Berger [EMAIL PROTECTED] [2002-03-16 18:34]:
 I would like to set my Bcc headers on that basis,
 but it seems to work randomly only!
   send-hook  '~t .*'   'my_hdr Bcc: mymail'
   send-hook !'~t .*' 'unmy_hdr Bcc'
 I would be very happy if anyone could tell me what to do in
 order to turn off my Bcc header automatically when posting.

  send-hook . unmy_hdr *

this should turn off *all* extra headers.
set now set your BCC header as you need.

btw, your first send-hook reads like this:
When TO contains an address of arbitrary
 length then set the following BCC line.
And the length can be ZERO, too!

Get to know your regular expressions!
(And next time start a new thread, ok?)

I think it's time for a workshop
on regex here in Berlin..

Anyway, you did not describe
what the hooks shall do.
And it's a waste of time
trying to guess it.

Sven  [read da book! see sig..]

-- 
Title: Mastering Regular Expressions
Author:Jeffrey Friedl [EMAIL PROTECTED]
Publisher: O'Reilly, 1997, 1-56592-257-3
URL:   http://www.oreilly.com/catalog/regex/



Re: Hook question - describe your problem!

2002-03-16 Thread Andre Berger

* Sven Guckes [EMAIL PROTECTED], 2002-03-16 20:26 -0500:
 * Andre Berger [EMAIL PROTECTED] [2002-03-16 18:34]:
  I would like to set my Bcc headers on that basis,
  but it seems to work randomly only!
send-hook  '~t .*'   'my_hdr Bcc: mymail'
send-hook !'~t .*' 'unmy_hdr Bcc'
  I would be very happy if anyone could tell me what to do in
  order to turn off my Bcc header automatically when posting.
 
   send-hook . unmy_hdr *
 
 this should turn off *all* extra headers.
 set now set your BCC header as you need.
 
 btw, your first send-hook reads like this:
 When TO contains an address of arbitrary
  length then set the following BCC line.
 And the length can be ZERO, too!
 
 Get to know your regular expressions!
 (And next time start a new thread, ok?)
 
 I think it's time for a workshop
 on regex here in Berlin..
 
 Anyway, you did not describe
 what the hooks shall do.
 And it's a waste of time
 trying to guess it.

Sven, thank you very much for your response and your time.

What I'm trying to accomplish is more or less the same Jerome (the
original poster) wants. We use mutt with nntp-patch and want to set
headers according to the fact if we are mailing or posting. Jerome
came up with the solution above which indeed works for From-headers,
but not really (read: consistantly) for Bcc-headers, at least for me.
What I want is to test if there is a To-header or not - if there is
one, I'm mailing, if there is none, I'm posting. If I'm mailing, add
a Bcc header (I'm Bccing all mail to myself to keep track of it). If
not, do not add this header because this results in an ugly To:
undiclosed recipients ; line in my postings.

I've tried an otherwise empty .muttrc file and

send-hook . unmy_hdr *
send-hook '~t ..*' 'my_hdr Bcc: mail'
send-hook !'~t ..*' 'my_hdr Bcc: news'

Testing the settings:

1. (mail) no bcc
2. (mail) bcc: mail
3. (news) bcc: mail
4. (news) bcc: news

So it seems to work, but the send-hook is one message late.

-Andre




msg25625/pgp0.pgp
Description: PGP signature


Installing Mutt - Can't fix mutt_dotlock's permissions

2002-03-16 Thread Vincent Lefevre

When installing Mutt in my home directory, I get the following error:

chgrp: changing group of `/home/lefevre/bin/mutt_dotlock': Operation not permitted
Can't fix mutt_dotlock's permissions!
make[2]: *** [install-exec-local] Error 1
make[2]: Leaving directory `/home/lefevre/software/mutt/mutt'
make[1]: *** [install-am] Error 2
make[1]: Leaving directory `/home/lefevre/software/mutt/mutt'
make: *** [install-recursive] Error 1

This is normal, but anyway, mutt_dotlock is already installed in
/usr/bin. In fact, I just want to install the mutt binary. The
problem is that Mutt has installed a mutt_dotlock with incorrect
permissions in my home directory. I think that if it can't set
the correct permissions, it shouldn't install mutt_dotlock.

-- 
Vincent Lefèvre [EMAIL PROTECTED] - Web: http://www.vinc17.org/ - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA