May 2015 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed May 6 15:32:46 AEST 2015
Ending: Sun May 31 22:57:07 AEST 2015
Messages: 19

• [m-rev.] For review: variable bindings in interactive queries   Mark Brown
• [m-rev.] for review: Fixes for FreeBSD.   Julien Fischer
• [m-rev.] for review: Document experience with clang on FreeBSD.   Julien Fischer
• [m-rev.] for review: fix definition fo foreign_export_enum pragmas   Julien Fischer
• [m-rev.] for review: fix definition fo foreign_export_enum pragmas   Julien Fischer
• [m-rev.] multi-precision integers based on GMP   Julien Fischer
• [m-rev.] for review: fix problems with --use-grade-subdirs with C# and Java backends   Julien Fischer
• [m-rev.] For review: variable bindings in interactive queries   Julien Fischer
• [m-rev.] for review: rewrite of vim syntax file   Sebastian Godelet
• [m-rev.] multi-precision integers based on GMP   Matthias Güdemann
• [m-rev.] multi-precision integers based on GMP   Matthias Güdemann
• [m-rev.] diff: clean up code that deconstructs terms   Zoltan Somogyi
• [m-rev.] for post-commit review: print more info for foreign types   Zoltan Somogyi
• [m-rev.] for review: rewrite of vim syntax file   Peter Wang
• [m-rev.] for review: Fixes for FreeBSD.   Peter Wang
• [m-rev.] diff: Define out-of-line atomic op functions in high-level C threaded grades.   Peter Wang
• [m-rev.] diff: Highlight some more keywords in Vim.   Peter Wang
• [m-rev.] for review: Document experience with clang on FreeBSD.   Peter Wang
• [m-rev.] for review: fix definition fo foreign_export_enum pragmas   Peter Wang

Last message date: Sun May 31 22:57:07 AEST 2015
Archived on: Wed Mar 23 20:54:09 AEDT 2016

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...