hallgren 93ba5b7b37 minibar: include the grammar's last modification in the grammar info shown by the "i" button ...

Also bumped version number in gf.cabal to 3.6-darcs.
Also removed some unecessary use of CPP.

2014-06-24 13:59:09 +00:00

..

about.html

minibar: remember the selected set of target langauges

2013-04-02 13:49:50 +00:00

align-btn.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

brushed-metal.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

example.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

feedback.cgi

Phrasebook feedback: hide feedback submitted by Googlebot

2012-02-27 13:18:03 +00:00

feedback.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

minibar_input.js

minibar: adapt to changed bracket structure in linearization output

2013-11-06 16:45:24 +00:00

minibar_offline.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

minibar_offline.js

minibar_offline: Update the API exported by pgf_offline.js to be compatible with pgf_online.js

2012-04-30 13:53:55 +00:00

minibar_offline.manifest

minibar_offline: Update the API exported by pgf_offline.js to be compatible with pgf_online.js

2012-04-30 13:53:55 +00:00

minibar_online.js

minibar: more robust test for availability localStorage

2013-07-29 11:58:17 +00:00

minibar_support.js

minibar: show parse trees without or with function names

2013-03-26 14:24:22 +00:00

minibar_translations.js

minibar: fix a mistake the previous bracket fix

2013-11-06 16:54:21 +00:00

minibar-api.html

some documentation updates and fixes

2012-11-27 14:11:47 +00:00

minibar.css

minibar: click on a linearization to obtain a table with all variants and forms

2013-03-27 16:35:56 +00:00

minibar.html

GF cloud: work on syntax editor integration

2013-04-12 18:29:15 +00:00

minibar.js

minibar: include the grammar's last modification in the grammar info shown by the "i" button

2014-06-24 13:59:09 +00:00

pgf_offline.js

Fixes for minibar offline

2013-01-09 16:44:18 +00:00

phrasebook.html

minibar: fixes for phrasebook

2013-04-17 08:39:39 +00:00

saldotest.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

saldotest.js

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

tree-btn.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00