8 Nov
2011
8 Nov
'11
12:15 p.m.
Module: ppl/ppl Branch: master Commit: 0a0259c6503a0876e0f519e5c8053ac9012f4889 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a0259c6503a0...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 12:15:05 2011 +0100
Added a few more lexical items.
---
devtools/good_items | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/devtools/good_items b/devtools/good_items index 844a82e..2ad228c 100644 --- a/devtools/good_items +++ b/devtools/good_items @@ -155,12 +155,14 @@ fma fmaf fmal fmod +fmtflags forall fprintf frac fread fstream fwrite +genfrac get_den get_num getc @@ -252,6 +254,7 @@ ru_utime' rusage scriptstyle setdiff +setf setfill setitimer setjmp