URA.hs -- branch: Positive

   Existing Tags:
	Finite                   	(revision: 1.22)
	Positive                 	(branch: 1.28.2)

----------------------------
revision 1.28.2.23
date: 2009-02-20 18:00:02 +0000;  author: orlov;  state: Exp;  lines: +1 -1
- Nothing have been changed!  Just update files on http://botik.ru/~xsg/
----------------------------
revision 1.28.2.22
date: 2008-06-22 13:12:36 +0000;  author: klimov;  state: Exp;  lines: +9 -9
- Version for GHC 6.8.2
----------------------------
revision 1.28.2.21
date: 2004-11-08 17:15:30 +0000;  author: klimov;  state: Exp;  lines: +3 -3
Very small changes
----------------------------
revision 1.28.2.20
date: 2004-11-07 07:33:52 +0000;  author: klimov;  state: Exp;  lines: +6 -7
Упростил Renum. Кстати, renaming'у не нужен Index?
----------------------------
revision 1.28.2.19
date: 2004-11-06 08:22:23 +0000;  author: klimov;  state: Exp;  lines: +5 -5
Another show (showsPrec -> Show).
----------------------------
revision 1.28.2.18
date: 2004-10-22 13:59:30 +0000;  author: klimov;  state: Exp;  lines: +2 -3
Better (I think) prining.
----------------------------
revision 1.28.2.17
date: 2004-10-22 10:59:29 +0000;  author: klimov;  state: Exp;  lines: +11 -10
Index had added to ura, ppt, int.
----------------------------
revision 1.28.2.16
date: 2004-10-22 09:18:11 +0000;  author: klimov;  state: Exp;  lines: +4 -3
no message
----------------------------
revision 1.28.2.15
date: 2004-10-22 08:35:16 +0000;  author: klimov;  state: Exp;  lines: +2 -1
"vim:" is added
----------------------------
revision 1.28.2.14
date: 2004-10-22 08:21:11 +0000;  author: klimov;  state: Exp;  lines: +23 -40
URA corrected: were X-vars.
----------------------------
revision 1.28.2.13
date: 2004-10-22 07:42:06 +0000;  author: klimov;  state: Exp;  lines: +15 -15
Some code reformating.
----------------------------
revision 1.28.2.12
date: 2004-10-20 16:00:40 +0000;  author: klimov;  state: Exp;  lines: +10 -10
Big changes: State = Branch = (Cond, Terms, Exps). Going to rewrite parser in monadic style.
----------------------------
revision 1.28.2.11
date: 2004-10-17 09:44:21 +0000;  author: klimov;  state: Exp;  lines: +7 -7
Пытаюсь разделить внешнее и внутреннее представление. Теперь, в частости, во внутреннем представлении все констукторы должны быть пронумерованы.
----------------------------
revision 1.28.2.10
date: 2004-10-17 09:02:06 +0000;  author: klimov;  state: Exp;  lines: +2 -2
Replace [] with initIdx, XSG.C -> XSG.c, XSG.VAR -> XSG.v2e.
----------------------------
revision 1.28.2.9
date: 2004-10-16 19:13:58 +0000;  author: klimov;  state: Exp;  lines: +7 -7
No more Conf and Class, only State and Exps.
----------------------------
revision 1.28.2.8
date: 2004-10-15 15:48:49 +0000;  author: klimov;  state: Exp;  lines: +2 -2
no message
----------------------------
revision 1.28.2.7
date: 2004-10-13 08:29:25 +0000;  author: klimov;  state: Exp;  lines: +19 -22
Files from unofficial XSG CVS on Xenon. New W-vars are added. Now programs like "split xs, xs :=: concat ys zs, ys zs." working right! Parser comes soon.
----------------------------
revision 1.28.2.6
date: 2004-06-11 20:31:46 +0000;  author: klimov;  state: Exp;  lines: +11 -10
no message
----------------------------
revision 1.28.2.5
date: 2004-06-11 12:41:49 +0000;  author: klimov;  state: Exp;  lines: +15 -7
no message
----------------------------
revision 1.28.2.4
date: 2004-06-11 11:47:13 +0000;  author: klimov;  state: Exp;  lines: +8 -7
no message
----------------------------
revision 1.28.2.3
date: 2004-05-28 16:29:13 +0000;  author: klimov;  state: Exp;  lines: +2 -2
no message
----------------------------
revision 1.28.2.2
date: 2004-05-28 15:37:53 +0000;  author: klimov;  state: Exp;  lines: +11 -4
no message
----------------------------
revision 1.28.2.1
date: 2004-05-28 15:24:17 +0000;  author: klimov;  state: Exp;  lines: +22 -22
no message
=============================================================================