1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
   2: /* $Header: bobj.h,v 2.0 84/06/18 15:46:31 guido Exp $ */
   3: 
   4: /*
   5:  * B editor -- Interface to "B machine".
   6:  */
   7: 
   8: /*
   9:  * General values.
  10:  */
  11: 
  12: value grab_com();
  13: value copy();
  14: 
  15: /*
  16:  * Operations on texts.
  17:  */
  18: 
  19: value mk_text();
  20: value trim();
  21: value concat();
Last modified: 1985-08-27
Generated: 2016-12-26
Generated by src2html V0.67
page hit count: 509
Valid CSS Valid XHTML 1.0 Strict