From c70bdc0f7ddfca7055d1af4d81086485518056af Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 5 Dec 1999 18:46:38 +0000
Subject: premier debugage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@210 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/changements.txt | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 92251833f9..538424d7fc 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -71,3 +71,17 @@ Changements dans les grammaires
                                  casse particulière dans Coq)
 		
 	
+Changements divers
+------------------
+
+ . il n'y a plus de script coqtop => coqtop et coqtop.byte sont
+   directement le résultat du link du code
+   => debuggage et profiling directs
+
+ . il n'y a plus d'installation locale dans bin/
+ 
+ . #use "include.ml"  =>  #use "include"
+   go()               =>  loop()
+
+ . il y "make depend" et "make dependcamlp4" car ce dernier prend beaucoup
+   de temps
-- 
cgit v1.2.3