[gecol-devel] Re: darcs patch: Regular exp, finite sets and newexamples

[Kilian Sprotte]

Hi Mauricio,

thanks for the patch. It is pushed now (but I did not have time to test it).

Best,
  Kilian

On Fri, Apr 4, 2008 at 12:30 PM, Mauricio Toro <mauriciotorob at gmail.com> wrote:
> Hola,
>
>  This is a new patch for Gecol.
>  Thanks for all,
>
>  Mauricio
>
>  ---------- Forwarded message ----------
>  From: mauriciotorob at gmail.com <mauriciotorob at gmail.com>
>  Date: 4 avr. 2008 12:26
>  Subject: darcs patch: Regular exp,finite sets and newexamples
>  To: mauriciotorob at gmail.com
>
>
>  Fri Apr  4 12:25:51 CEST 2008  mauriciotorob at gmail.com
>   * Regular exp,finite sets and newexamples
>
>
>
>  --
>  Mauricio Toro Bermudez
>  Estudiante de Ingeniería de Sistemas
>  Pontificia Universidad Javeriana, Colombia
>
>  Stagiare à l'Ircam
>  1, place Igor-Stravinsky 75004 Paris,
>  France de 2008 à 2009
>