[Demexp-cvs] arch commit: demexp--dev--0.5--patch-33

[David]

Revision: demexp--dev--0.5--patch-33
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jun 19 17:38:24 CEST 2005
Standard-date: 2005-06-19 15:38:24 GMT
Modified-files: Makefile
    gtk2-clnt/demexp-gtk2-client-book.tex
    lib/timestamp.ml.nw srv/classification.ml.nw
    srv/demexp-server-book.tex srv/id.ml.nw
    srv/participants.ml.nw srv/posbase.ml.nw srv/work.ml.nw
    srv/xml.cd.nw srv/xml.mli.nw
New-patches: address@hidden/demexp--dev--0.5--patch-33
Summary: implement timestamps in server
Keywords: server

* Makefile: cosmetic changes to make it cleaner.

* srv/demexp-server-book.tex
  gtk2-clnt/demexp-gtk2-client-book.tex: put lib/ code at the beginning
  of the books.

* lib/Timestamp: definition of timestamp type and new functions
  "of_string" and "to_string" to convert from/to a string
  representation.

* srv/id: handling of timestamps in id tables. New functions to read and
  set timestamps.

* srv/xml.cd.nw
  srv/xml.mli.nw: save and restore timestamps in XML files. Right now,
  timestamps are optional so we can read old bases.

* srv/Participants
  srv/Posbase
  srv/Classification
  srv/Work:

  - support timestamps in data structure (through Id.Tag, Id.Question
    and Id.Participant modules);

  - update timestamp implicitely (through Id modules calls) or
    explicitely when necessary (e.g. update of question timestamp du to
    an update in corresponding question classification).