← Back to branch summary

~ubuntu-branches/ubuntu/utopic/vera/utopic

« back to all changes in this revision

Viewing changes to vera.k

  • Committer: Package Import Robot
  • Author(s): Ryan Kavanagh
  • Date: 2014-05-31 09:27:12 UTC
  • mfrom: (1.1.4)
  • Revision ID: package-import@ubuntu.com-20140531092712-vw9vngagl1z47e1y
Tags: 1.21-1
* New upstream release
* Bump standards version, no changes required

Show diffs side-by-side

added added

removed removed

Lines of Context:
vera.k
1
1
@c -*-texinfo-*-
2
2
@c This is part of the GNU edition of V.E.R.A.
3
 
@c Copyright (C) 1993/2013 Oliver Heidelbach
 
3
@c Copyright (C) 1993/2014 Oliver Heidelbach
4
4
@c See the file vera.texi for copying conditions.
5
5
@c 
6
6
@c Syntax:
52
52
Kokusai Denshin Denwa (org., Japan)
53
53
 
54
54
@item KDE
55
 
K Destop Environment (Linux, KDE, GUI)
 
55
K Destop Environment (Linux, KDE, GUI), http://www.kde.org
56
56
 
57
57
@item KDM
58
58
K Display Manager (KDE)
187
187
Kai's PowerTools (DTP)
188
188
 
189
189
@item KQML
190
 
Knowledge Query Manipulation Language (AI)
 
190
Knowledge Query Manipulation Language (AI), http://www.cs.umbc.edu/kqml
191
191
 
192
192
@item KR
193
193
[brian] Kernighan & [dennis] Ritchie [c standard], "K&R"
196
196
Knowledge Representation (AI)
197
197
 
198
198
@item KRA
199
 
Key Recovery Alliance (org., cryptography)
 
199
Key Recovery Alliance (org., cryptography), http://www.kra.org
200
200
 
201
201
@item KSA
202
 
Kalman Saffran Associates (manufacturer)
 
202
Kalman Saffran Associates (manufacturer), http://www.ksa1.com
203
203
 
204
204
@item KSA
205
205
KommunikationsStrukturAnalyse (OA, TUB)
220
220
Key Signing Key (ZSK)
221
221
 
222
222
@item KSLNRC
223
 
Knowledge Systems Laboratory of the National Research Council (org., Canada, AI)
 
223
Knowledge Systems Laboratory of the National Research Council (org., Canada, AI), http://ai.iit.nrc.ca/home_page.html
224
224
 
225
225
@item KSOS
226
226
Kernelized Secure Operating System (OS)