This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/local/bin/python3 | |
# Michael Yoshitaka Erlewine 2016, public domain | |
# instructions: | |
# brew install enscript | |
# Install PDFtk | |
# current build: https://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/pdftk_server-2.02-mac_osx-10.11-setup.pkg | |
# | |
# setup csv with EasyChair ID, desired filename, authors |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% -*- LaTeX -*- | |
\def\gbVersion{4e} | |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
% Version 4export (= v. 4 minus the compatibility code) | |
% Based on hpk's gb.sty, revised for GM syllabus by ct, | |
% and incorporating macros adapted from J.Frampton, M. van der Goot en M. | |
% Covington. Full documentation in gb4e-doc.tex. Bug-reports | |
% and suggestions for improvements, other used features, please! | |
% | |
% The package gb4e may be distributed under the conditions of the LaTeX Project |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
javascript:(function(){counts={1:0,2:0,3:0,4:0};jQuery('table.ratesummary%20tr:not(:nth-child(1))').each(function(){counts[jQuery(this).find('td:nth-child(4)').text().replace(/\s/g,'').length]++;});alert([c+':'+counts[c]%20for%20(c%20in%20counts)].join(','));})() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/** | |
* Plugin Name: Test Tools | |
* Plugin URI: | |
* Description: mitcho's tools for automated testing. | |
* Author: mitcho | |
* Version: 1.1 | |
*/ | |
class TestTools { |