← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to ide/utils/configwin_messages.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ide/utils/configwin_messages.ml
 
1
(*********************************************************************************)
 
2
(*                Cameleon                                                       *)
 
3
(*                                                                               *)
 
4
(*    Copyright (C) 2005 Institut National de Recherche en Informatique et       *)
 
5
(*    en Automatique. All rights reserved.                                       *)
 
6
(*                                                                               *)
 
7
(*    This program is free software; you can redistribute it and/or modify       *)
 
8
(*    it under the terms of the GNU Library General Public License as            *)
 
9
(*    published by the Free Software Foundation; either version 2 of the         *)
 
10
(*    License, or  any later version.                                            *)
 
11
(*                                                                               *)
 
12
(*    This program is distributed in the hope that it will be useful,            *)
 
13
(*    but WITHOUT ANY WARRANTY; without even the implied warranty of             *)
 
14
(*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              *)
 
15
(*    GNU Library General Public License for more details.                       *)
 
16
(*                                                                               *)
 
17
(*    You should have received a copy of the GNU Library General Public          *)
 
18
(*    License along with this program; if not, write to the Free Software        *)
 
19
(*    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA                   *)
 
20
(*    02111-1307  USA                                                            *)
 
21
(*                                                                               *)
 
22
(*    Contact: Maxence.Guesdon@inria.fr                                          *)
 
23
(*                                                                               *)
 
24
(*********************************************************************************)
 
25
 
 
26
(** Module containing the messages of Configwin.*)
 
27
 
 
28
let software = "Configwin";;
 
29
let version = "1.2";;
 
30
 
 
31
let html_config = "Configwin bindings configurator for html parameters"
 
32
 
 
33
let home =
 
34
  try Sys.getenv "HOME"
 
35
  with Not_found -> ""
 
36
 
 
37
let mCapture = "Capture";;
 
38
let mType_key = "Type key" ;;
 
39
let mAdd = "Add";;
 
40
let mRemove = "Remove";;
 
41
let mUp = "Up";;
 
42
let mEdit = "Edit";;
 
43
let mOk = "Ok";;
 
44
let mCancel = "Cancel";;
 
45
let mApply = "Apply";;
 
46
let mValue = "Value"
 
47
let mKey = "Key"
 
48
 
 
49
let shortcuts = "Shortcuts"
 
50
let html_end = "End with"
 
51
let html_begin = "Begin with"
 
52