dist20exp: centaur/tables/typol:1.114

[fm@arthur.inria.fr (Francis Montagnac)]

    Nouvelle version de typol installe'e.  Cette version integre tous
les ajouts fait par Thierry depuis Fevrier dernier pour pas mal de
personnes (ou moins Isabelle, Delphine, Sidi ...). Elle corrige aussi
le pb bloquant de Y Chen (cf message 513 dans sophia.centaur). Eviter
donc d'utiliser des versions differentes chez vous.

    Cf rlog's plus loin, obtenable par:
cd centaur/tables/typol/<ou vous savez>		# pas fort ca!
rrlog -rdist13-dist20exp .

    Attention: le core batch (ctk) n'est plus a jour, mais je ne pense
pas que beaucoup de monde compile du typol en batch :-). Ce sera fait
lors du passage en Lelisp 15.26 (pour les alpha).

    La version precedente est conserve'e pour un temps dans 
/net/croap/ct/dist20exp/.preserve/typol-1.110

centaur/tables/typol:

revision 1.114        
date: 95/08/02 10:58:16;  author: croap1;  state: Stable;  lines added/del: 1/1
Fix in typol.rdb (message Decor {Name} unknown in {Form} formalism
TYPOLCOMPILER in #ifndef in Buildtypol
Changes under run-time, semantics 
----------------------------
revision 1.113        
date: 95/01/24 15:24:39;  author: td;  state: Stable;  lines added/del: 1/1
branches:  1.113.55;  
debugger:
Modification de O_REDISPLAY_RULE pour que l'affichage de la regle
se fasse avant celui du menu pour eviter des ennuies de clics qui
arrivent trop tot. 
----------------------------
revision 1.112        
date: 95/01/16 14:11:10;  author: td;  state: Stable;  lines added/del: 1/1
branches:  1.112.13;  
Ce qu'il faut pour charger des definitions de syntaxe
definient avec "as". 

centaur/tables/typol/run-time/prolog

revision 1.26        
date: 95/07/31 21:05:24;  author: fm;  state: Stable;  lines added/del: 1/1
branches:  1.26.4;  1.26.55;  
This version corrects the Yschen pb: the first prolog command
never terminates: a TY_RUN-sepia$ty_tc$ for example that usualy starts
by asking an existf for TY_RUN-sepia.sp never emits anything.

See log message in sepia.

form-pl function slightly simplified

Sepia updated also to spawn eclipse somewhere else than on a sun4

merge done in prolog.ll 
----------------------------
revision 1.25        
date: 95/03/17 11:10:24;  author: td;  state: Stable;  lines added/del: 1/1
branches:  1.25.4;  1.25.13;  
Modification de #:prolog:lispproc and co. pour pouvoir 
faire des appel de fonctions packagee depuis prolog
(implode (explode Name))
+
dans sepia, modification du code c pour cv_string
afin de doubler les \ destines a sepia 


centaur/tables/typol/run-time/prolog/sepia:

revision 1.27        
date: 95/07/31 21:12:15;  author: croap1;  state: Stable;  lines added/del: 1/1
Fix in messages-table.ll: emit 
imm-queryIO instead of imm_queryIO 
----------------------------
revision 1.26        
date: 95/07/31 20:54:40;  author: fm;  state: Stable;  lines added/del: 1/1
branches:  1.26.55;  
This version corrects the Yschen pb: the first prolog command
never terminates: a TY_RUN-sepia$ty_tc$ for example that usualy starts
by asking an existf for TY_RUN-sepia.sp never emits anything.

Padding suppressed (wasn't the problem).  read calls on stdin in *.sp
files replaced by flush_then_read predicate(see connextion.sp). This
permits to live as well whence the stdout is a tty or not (old
"feature" of the stdio).

systemload.sp and init.sp added to simplify the initialization of eclipse

Allows eclipse to run not only on a sun4 :-) (see systemload.sp).

handlers.sp removed (incorporated inside init.sp).

Merge done in autoload.sp 
----------------------------
revision 1.25        
date: 95/04/21 11:37:28;  author: td;  state: Stable;  lines added/del: 1/1
branches:  1.25.4;  
pl_vtp ameliore' pour les listes dont la queue
est une variable (un noeud meta de nom termine par
... est cree comme dernier element de la liste).
Utilise pour "Examine" 
----------------------------
revision 1.24        
date: 95/03/17 11:09:08;  author: td;  state: Stable;  lines added/del: 1/1
branches:  1.24.13;  
Modification de cv_string pour
doubler les \ destines a sepia. 

-- 
Francis Montagnac, fm@sophia.inria.fr, (33) 93 65 79 11, Fax:(33) 93 65 76 33
INRIA Sophia, 2004, rte des Lucioles, B.P.93 - 06902 Sophia Antipolis Cedex


-- 
Francis Montagnac, fm@sophia.inria.fr, (33) 93 65 79 11, Fax:(33) 93 65 76 33
INRIA Sophia, 2004, rte des Lucioles, B.P.93 - 06902 Sophia Antipolis Cedex