<?php
/**
 * english language file
 */

$lang['imgshort'] = 'Fig.';
$lang['tabshort'] = 'Tab.';
$lang['ggbshort'] = 'GeoGebra';
$lang['imgfull']  = 'figure';
$lang['tabfull']  = 'table';
$lang['ggbfull']  = 'GeoGebra applet';