Mon, 14 Nov 1994 14:47:20 +0100 added check for newlines not enclosed by '\' inside strings
clasohm [Mon, 14 Nov 1994 14:47:20 +0100] rev 712
added check for newlines not enclosed by '\' inside strings
Mon, 14 Nov 1994 14:29:20 +0100 updated remarks about grammar; added section about ambiguities
clasohm [Mon, 14 Nov 1994 14:29:20 +0100] rev 711
updated remarks about grammar; added section about ambiguities
Mon, 14 Nov 1994 11:57:32 +0100 exported 'cat';
wenzelm [Mon, 14 Nov 1994 11:57:32 +0100] rev 710
exported 'cat';
Mon, 14 Nov 1994 10:49:39 +0100 Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of:
lcp [Mon, 14 Nov 1994 10:49:39 +0100] rev 709
Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of: new SELECT_GOAL is MUCH faster
Mon, 14 Nov 1994 10:46:50 +0100 Pure/drule/cprems_of, cskip_flexpairs, cstrip_imp_prems: new cterm operations
lcp [Mon, 14 Nov 1994 10:46:50 +0100] rev 708
Pure/drule/cprems_of, cskip_flexpairs, cstrip_imp_prems: new cterm operations
Mon, 14 Nov 1994 10:41:25 +0100 Added month for Coens thesis
lcp [Mon, 14 Nov 1994 10:41:25 +0100] rev 707
Added month for Coens thesis
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip