# HG changeset patch # User Hans Plum # Date 1273666780 0 # Node ID dcd7dc1b1f254332dbbee448f8684bcedb422b71 # Parent 975bb59bb136f62d660b5d8e407d17d5be3b68fe Forget to commit from root dir ... appending doc/trunk@1094 c6561f87-3c4e-4783-a992-168aeb5c3f6f diff -r 975bb59bb136 -r dcd7dc1b1f25 doc/ChangeLog --- a/doc/ChangeLog Wed May 12 11:56:36 2010 +0000 +++ b/doc/ChangeLog Wed May 12 12:19:40 2010 +0000 @@ -1,5 +1,24 @@ 2010-05-12 Hans Plum + Tagging as Version 1.0 + +2010-05-12 Hans Plum + + * config-manual/config-manual.tex, + config-manual/model_of_transitions.tex, + config-manual/title.tex, + config-manual/generating_maps.tex, + config-manual/general_settings.tex, + config-manual/miscellanea.tex, + config-manual/Makefile, + config-manual/administering_artifact-server.tex: + Adapted titlepage to admin manual. Replaced with public Makefile + according to admin manual. (XXX) Added some workaround linebreaks with + typewriter sections + +2010-05-12 Hans Plum + + * config-manual/config-manual.tex, config-manual/model_of_transitions.tex, config-manual/generating_maps.tex,