File: prntf.cmx

package info (click to toggle)
cmix 2.0.11-1
  • links: PTS
  • area: main
  • in suites: potato
  • size: 6,224 kB
  • ctags: 5,925
  • sloc: cpp: 29,558; ansic: 11,452; yacc: 2,020; sh: 1,795; makefile: 1,228; lex: 484; perl: 278
file content (10 lines) | stat: -rw-r--r-- 267 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
@ Author:	The C-Mix Project <cmix@diku.dk>
@		Sebastian Skalberg <skalberg@diku.dk>
@
@ Contents:	C-Mix directives file for specializing mini_printf.
@
@ $Id: prntf.cmx,v 1.1 1999/05/25 12:04:52 skalberg Exp $

source: prntf.c

goal: goal(?,$1) producing("goal_res")