diff options
author | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-26 11:54:30 +0000 |
---|---|---|
committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-26 11:54:30 +0000 |
commit | 568b0b82e229535ce1355dcc4f959ac8f4f13921 (patch) | |
tree | 679f749a07cb42eda17d24cdd4e599606c44c11f /CHANGES | |
parent | 270dd8d4404b6a17aefa0be06537e3442f3e3c4d (diff) |
New environment variable COQREMOTEBROWSER to set the command used by Coq
and coqide to control a remote browser. It uses the standard syntax where
"%s" is the placeholder for the URL.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7077 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,6 +1,12 @@ Changes from V8.0 ================= +Environment variables + +- COQREMOTEBROWSER to set the command invoked to start the remote browser + both in Coq and coqide. Standard syntax: "%s" is the placeholder for the + URL (doc TODO) + Vernacular commands - Added "Print Ltac qualid" to print a user defined tactic (doc TODO) |