Version: TOPO_3R4, Date: Wed Dec 22 18:26:09 MET 1993
---------------------------------------------------------
  Bug Fixing

Version: TOPO_3R3, Date: Wed Oct 20 20:52:17 MET 1993
---------------------------------------------------------
  library support to interpret lotos specs
  test generation

date: 1993/09/30  13:17:15
interface driving makefile may be external

date: 1993/10/16  11:21:54
interlib: a library to interpret lotos specs
Basic Lotos only [yet]

date: 1993/09/30  14:30:46
ltg: test generator
Basic Lotos only [yet]

Version: TOPO_3R2, Date: Thu Jul  8 20:14:48 MET DST 1993
---------------------------------------------------------
  Glad: a tool to annotate data types -- general
  Ada code generation

date: 1993/06/23 16:13:55
Adamisc: makefile prorotypes for various Ada compilers

date: 1993/06/23  16:27:36
rdtts: code generation for new ildi

date: 1993/06/23  15:56:01
labra: new run time support for Ada

date: 1993/06/16  16:09:08
omlbADA: Ada code generation from om: new tool

date: 1993/06/10  14:10:24
change filename conventions for semantics analysis results
meaningful pairs are:
  (.ls, .as)  (.lss, .ass)  (.lsc, .asc) 
  (.lsf, .asf) (.lsf, .agf) (.lsf, .aif)

date: 1993/06/10 13:37:30
new version of ildi -- full remake

date: 1993/05/25  11:08:41
d2ada: LOTOS data -> Ada: complete remake

date: 1993/03/18  11:14:24
New tool: glad: General Language to Annotate Data

Version: TOPO_3R1, Date: Tue Feb 23 18:31:02 MET 1993
---------------------------------------------------------
  tool driver rewritten in C for portability (to PC)
  new standard library ditupm (improved and extended IS)
  new Lambda-beta virtual machine & C code generator
  optimization of C code
  ported to ms-dos
  new interface to external data
  new tool: ildi: symbolic interactive data interpreter
  new tool: rdtts: real data test specification
  new shell interface (context)

date: 1993/01/21 20:25:19
code generation for ildi

date: 1993/01/21 20:24:12
topo spec function options ...

date: 1993/01/20 13:38:05
rdtts: generate test system for lola

date: 1993/01/18 18:32:21
d2c: cleaning of would-be-generated files, under file breaking

date: 1993/01/12 14:12:09
New tool: toposet: set compilation context
  remove options from 'topo'

date: 1993/01/11 18:33:09
omlbC: formal parameters in processes are not compacted any longer
  add -C to remove would-be-generated files
  generates code for if and use annotations

date: 1992/12/09 10:49:32
d2c: split into pieces

date: 1992/11/19 18:40:29
New tool: rdtts: real data types test specification

date: 1992/11/17 18:27:05
New tool: ildi: interactive data interpreter / symbolic

date: 1992/11/17 18:35:08
d2c: separate internal (kdatum) and external (udatum)
  new annotation ldc at the very end of the spec
  new annotation ldcinit at the beginning

date: 1992/11/17 17:37:29
omlbC: variables are compacted per sort
  split generated code into several files

date: 1992/11/17 17:29:25
all: adapt file names for ms-dos portability

date: 1992/11/17 16:25:02
topo: add -o name and -do name options

date: 1992/11/04 16:14:37
lsa: option -C to compact sorts and operations unique identifiers

date: 1992/10/20 17:49:56
m2c: new KT evaluation algorithm
  new Lbeta interface

date: 1992/10/14 19:20:45
lfe: new annotations: type & copy

date: 1992/10/14 18:37:37
lfe: new annotations: IF, and USE

date: 1992/10/14 18:16:00
d2c: new philosophy to write ADTs,
  every new expression is supposed to be pointed once,
  in order to share a value, it has to be kd_copy'ed
  functions assume their arguments are absolutely theirs

date: 1992/09/12 08:52:49
topo: provide an environment variable for every reasonable tool

date: 1992/09/02 16:58:07
New tool: omlbC: from Lb into C code
  replace mice

date: 1992/09/02 16:38:30
New tool: omdrast: to draw Lambda-beta CAST

date: 1992/09/02 16:07:33
New tool: om: generates Lambda-beta code in internal format (CAST)
  replace mice

date: 1992/09/02 15:44:57
idle: new option to remove extern annotations
  new option to print and label the equations

date: 1992/09/02 14:47:27
lfe: keep annotations as independent (and sorted!) nodes in AST

date: 1992/09/02 14:00:15
dtok: accepts labelled equations
  accepts textual equations

Version: TOPO_2R2, Date: Fri May  8 16:45:34 MET DST 1992
---------------------------------------------------------

date: 1992/05/07 19:48:17
New tool: ast2cr: AST into CR format for LotoSphere
  integrated into TOPO

Version: TOPO_2R1, Date: Sat Mar  7 12:34:36 MET 1992
-----------------------------------------------------
  new semantics analysis, new kernel, new data compiler

date: 1992/02/07 17:27:31
pl: full remake to speed up layout optimizations

date: 1992/01/30 18:10:29
idle: better error reporting

date: 1992/01/30 18:07:41
drast: options to draw ATable added

date: 1992/01/14 19:23:39
New tool: m2c: run time support for behaviour
  new algorithm for rendez-vous evaluation/resolution

date: 1992/01/14 11:38:44
mice: revision of massive choice, and defaults

date: 1992/01/10 15:02:55
lfe: allow to put default annotations about every undefined var declaration

date: 1992/01/10 15:02:28
lfe: add c_impt c_parse c_implby c_initSby c_initZby 
  remove c_iterate

date: 1992/01/07 16:05:36
New tool: lsa: semantics analysis
  replaces ls1+ls2+fflt

date: 1991/11/20 13:25:22
d2c: new annotations: parse and eval

date: 1991/10/02 16:59:21
New Tool: d2c & d2h: C code generator for data
  replaces old ldc

date: 1991/09/23 18:59:06
New tool: lola: LOtos LAboratory
  integrated into TOPO

date: 1991/09/09 19:58:44
topo: new funtionality to build a prototype

date: 1991/09/09 19:58:58
New sample: topomain, for prototype building
New sample: topomake, for prototype building

date: 1991/08/28 15:54:16
lfe: added colours: internal, lexical, lexicalifpossible, using,
               constructor, nonconstructor, and Einfix

date: 1991/04/08 09:14:24
  new standard libraries mod-is, mod-is-neq

date: 1991/07/11 14:04:52
New tool: dtok: Data Language tokenizer

Version: TOPO_1R7, Date: Fri May 10 09:58:49 MET DST 1991
---------------------------------------------------------
  port to HP 9000, HP-UX 7.0

date: 1991/04/08 09:18:57
lfe: allow for /bin/cpp processed specs as input

date: 1991/02/28 17:12:34
topo: Ada code generation

date: 1991/02/11 10:13:23
drast: print symbolic node type rather than code-value

date: 1991/02/06 20:13:29
New tool: idle: generates code for the Lambda-delta virtual machine

date: 1991/01/31 16:07:20
New tool: pl: pretty printer

Version: TOPO_1R6, Date: Mon Dec 17 08:28:00 MET 1990
-----------------------------------------------------

Version: TOPO_1R5, Date: Mon Nov  5 16:09:56 MET 1990
-----------------------------------------------------

date: 1990/10/30 14:21:46
  remove exc

date: 1990/10/30 14:13:22
lfe: compressed AST
  use of hardwired colours
  compressed value expressions
  annotations to colours

date: 1990/10/30 09:39:00
drast: option -d to dereference tables

Version: TOPO_1R4, Date: Thu Jun 28 20:15:56 MET DST 1990
---------------------------------------------------------
  able to handle large specifications

date: 1990/06/21 17:59:12
ls2: overloading resolution between variables and constant operations

date: 1990/06/04 15:23:51
lfe: if then else fi, removed
  final match, removed
  last ';' of eqns, made optional

date: 1990/06/04 10:38:43
adtxr: classifies types into
  basic | constructed | used | unused | renaming | actualization

date: 1990/06/04 10:02:42
ls1: union, renaming and actualization
  are not expanded unless strictly required

date: 1990/06/01 15:08:00
lxref: adds legend to qualify occurrences

date: 1990/05/11 12:53:17
New tool: adtxr: ADT cross reference generator

date: 1990/05/11 11:08:28
ls1: type union is not expanded any longer

Version: TOPO_1R3, Date: Sat Mar 17 12:55:34 MET 1990
-----------------------------------------------------

date: 1990/03/17 12:51:04
ls1: adapted for generating the canonical data type
  within the whole specification

date: 1990/03/16 18:33:51
New tool: exc: executable comment handler
  replaces excom + anm

Version: TOPO_V0102, Date: Mon Jan 29 16:44:51 MET 1990
-------------------------------------------------------
  The dates from here on are not real:
  we changed fromSCCS into RCS,
  but previous history was not kept.

Version: TOPO_V0101, Date: Mon Jan 29 14:32:03 MET 1990
-------------------------------------------------------

date: 1990/01/24 14:38:09
New tool: lfe: CAST builder (syntax checker)

date: 1990/01/24 11:22:06
New tool: drast: Draw a Coloured Abstract Syntax Tree (debug)

date: 1990/01/22 20:12:24
New tool: ls1: semantics, phase I
New tool: fflt: full flattener

date: 1990/01/22 19:35:19
New tool: ls2: semantics, phase II

date: 1990/01/22 19:20:57
New tool: mice: C code generator for behaviour

date: 1990/01/22 12:50:08
New tool: lxref: cross reference generator

