| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| bin/ | 2018-11-02 15:32 | - |
| cgiconfig.sh | 2011-08-21 21:53 | 37 |
| align-btn.png | 2009-12-15 16:41 | 138 |
| tree-btn.png | 2009-12-21 17:27 | 149 |
| minibar_online.js | 2011-08-11 17:08 | 752 |
| saldotest.html | 2010-07-06 15:45 | 887 |
| feedback.cgi | 2011-08-08 16:06 | 1.0K |
| minibar.css | 2011-08-03 15:07 | 1.1K |
| minibar_support.js | 2011-08-08 19:07 | 1.1K |
| minibar.html | 2011-08-08 18:04 | 1.3K |
| example.html | 2011-08-03 16:52 | 1.4K |
| js2html.cgi | 2011-08-21 19:39 | 1.4K |
| phrasebook.html | 2011-08-08 18:56 | 1.4K |
| feedback.html | 2010-07-06 15:47 | 1.5K |
| pgf_online.js | 2011-08-03 17:15 | 1.7K |
| pgf_offline.js | 2011-08-16 18:04 | 2.9K |
| minibar_translations.js | 2011-08-19 15:34 | 4.5K |
| summerschool.talk | 2011-08-22 23:26 | 4.5K |
| minibar.js | 2011-08-19 15:42 | 5.4K |
| gf-web-api-examples.html | 2011-08-21 10:52 | 6.6K |
| minibar_input.js | 2011-08-22 18:58 | 6.9K |
| support.js | 2011-06-10 16:38 | 7.5K |
| minibar-api.html | 2011-08-21 19:11 | 8.5K |
| saldotest.js | 2010-07-06 15:45 | 8.6K |
| about.html | 2011-08-22 19:31 | 9.5K |
| minibar1.js | 2011-08-03 16:44 | 16K |
| brushed-metal.png | 2010-09-24 15:08 | 35K |
