From 783bdffba901a29027878f41e10b6bcfe406100f Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 4 May 2000 16:58:20 +0000
Subject: Nettoyage de l'interface de Pfedit

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 450ee1bd5..8d028c235 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -106,6 +106,13 @@ Changements dans les fonctions :
         Divers
           initial_sign -> var_context
 
+        Pfedit
+	  list_proofs -> get_all_proof_names
+          get_proof -> get_current_proof_name
+          abort_cur_goal -> abort_current_goal
+          get_evmap_sign -> get_goal_context/get_current_goal_context
+          unset_undo -> reset_undo
+
 Changements dans les inductifs
 ------------------------------
 Nouveaux types "constructor" et "inductive" dans Term
-- 
cgit v1.2.3