Index of /~leavens/Windows/bin

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]English2006-08-01 14:40 1.3K 
[DIR]Obsolete/2020-08-21 15:29 -  
[ ]Terzo2006-05-26 15:20 402  
[ ]WinGHCi2019-09-04 14:38 166  
[ ]abstime2014-01-29 14:41 61  
[ ]ajmlc2015-06-22 14:10 2.9K 
[ ]alloy2025-03-27 16:59 191  
[ ]ansicpp1995-02-11 00:46 306  
[ ]ant2014-01-26 08:27 1.3K 
[ ]antlr2002-03-17 18:15 1.4K 
[ ]apropos1993-01-26 21:46 461  
[ ]article1993-01-13 17:36 611  
[ ]bad-dxo-files2022-03-24 16:32 310  
[ ]bibtex2014-12-31 12:36 56  
[ ]boogie2011-06-13 09:38 66  
[ ]both2010-04-23 10:07 817  
[ ]cacl-sourceme2006-10-02 17:27 62  
[ ]changed1991-09-17 23:03 624  
[ ]commonlisp-scheme1991-09-17 23:06 520  
[ ]current-get2022-10-28 15:36 523  
[ ]current-send2023-01-09 08:02 338  
[ ]cvs-remove1997-07-30 12:13 399  
[ ]cvs-rename2003-10-05 13:07 554  
[ ]cvsupdate2004-09-04 14:29 1.1K 
[ ]dafny2021-10-07 13:56 72  
[ ]darcs2013-01-21 18:25 43  
[ ]delete-all-unselected2023-02-05 22:50 567  
[ ]delete-unneeded-photo-dirs2014-12-31 07:52 298  
[ ]delete-unselected2022-01-16 16:19 523  
[ ]deroff1991-09-17 23:09 2.1K 
[ ]dirclean2006-09-24 18:36 2.3K 
[ ]downcase-files2006-05-26 15:16 249  
[ ]dvipdf2006-05-26 15:16 28  
[ ]e2006-05-26 16:23 27  
[ ]eachline1998-03-06 15:21 278  
[ ]eclean2023-01-12 16:45 573  
[ ]eclipse2024-01-24 17:01 167  
[ ]eclipseg2014-12-31 15:15 171  
[ ]edscheme2006-05-26 15:15 45  
[ ]emacs2019-10-05 13:19 356  
[ ]emacsbig2019-10-03 17:18 214  
[ ]emacslong2007-08-16 16:22 252  
[ ]emacsmedium2020-07-06 10:07 217  
[ ]emacssmall2006-05-26 15:15 203  
[ ]esc2020-04-07 18:02 217  
[ ]escjava2007-02-25 18:05 946  
[ ]escjava22007-02-25 18:06 1.1K 
[ ]eustis2017-01-22 17:19 276  
[ ]fclean2006-09-24 18:30 553  
[ ]find-dups2019-05-14 18:41 833  
[ ]findbugs2006-05-26 15:15 53  
[ ]firefox2021-10-21 14:40 206  
[ ]gcc2017-02-19 16:16 39  
[ ]get2021-11-04 09:46 1.7K 
[ ]get-from-eola2008-02-16 10:52 112  
[ ]get-from-eustis2017-01-22 17:13 1.1K 
[ ]get-from-larch2010-04-23 10:09 1.6K 
[ ]get-from-rainier2022-11-23 08:40 157  
[ ]get-from-refine2011-12-16 08:17 149  
[ ]ghostview2017-10-08 16:49 87  
[ ]gitdirs2017-04-05 08:14 786  
[ ]gitupdate2014-02-12 19:16 1.3K 
[ ]gmake2006-05-26 15:14 21  
[ ]golden-update2020-07-22 22:00 363  
[ ]hitch2009-04-20 18:35 6.7K 
[ ]hnumber2010-04-08 11:34 1.5K 
[ ]html2xhtml2006-10-03 03:12 1.5K 
[ ]hugs2006-05-26 15:13 52  
[ ]idle2019-01-08 22:16 193  
[ ]isabelle2025-01-29 14:58 289  
[ ]jar2020-07-01 17:42 193  
[TXT]java5-sourceme.sh2007-02-13 17:14 320  
[TXT]java6-sourceme.sh2007-02-13 17:13 320  
[TXT]java7-sourceme.sh2011-09-22 14:31 320  
[TXT]java8-sourceme.sh2017-12-20 20:22 320  
[TXT]java9-sourceme.sh2017-12-20 20:22 320  
[ ]jflex2008-04-14 20:40 384  
[TXT]jml-eclipse-sourceme.sh2006-05-26 15:09 4.3K 
[TXT]jml-escjava-sourceme.sh2006-05-26 15:09 160  
[ ]jml-junit22004-01-28 10:55 2.1K 
[ ]jml-launcher22004-01-28 10:55 2.2K 
[TXT]jml-no-specs-sourceme.sh2014-12-31 15:15 3.4K 
[TXT]jml-sourceme.sh2009-06-16 13:04 4.9K 
[TXT]jml-temp-nourls-sourceme.sh2015-01-01 09:30 3.2K 
[TXT]jml-temp-sourceme.sh2009-03-03 23:45 4.1K 
[ ]jml22006-12-12 11:22 1.9K 
[ ]jml2-gui2004-01-28 10:55 2.0K 
[ ]jmlc22006-06-25 09:10 2.0K 
[ ]jmlc2-gui2004-01-28 10:55 2.0K 
[ ]jmldoc22004-01-28 10:55 2.2K 
[ ]jmldoc2-gui2004-01-28 10:55 2.2K 
[ ]jmlize2004-10-01 14:39 182  
[ ]jmlrac2020-11-12 17:18 177  
[ ]jmlrac22004-01-28 10:55 2.0K 
[ ]jmlspec22004-01-28 10:55 1.9K 
[ ]jmlspec2-gui2004-01-28 10:55 2.0K 
[ ]jmlunit22004-01-28 10:55 2.0K 
[ ]jmlunit2-gui2004-01-28 10:55 2.0K 
[ ]jpf2008-11-02 11:12 80  
[ ]jtest22004-01-28 10:55 2.2K 
[ ]jumpbackup2009-01-04 10:36 369  
[ ]junit2006-05-26 15:08 713  
[ ]key2021-08-19 08:37 97  
[ ]latex-watch2006-08-09 14:20 1.1K 
[ ]lecture-units2017-01-04 15:01 360  
[ ]locale2006-05-26 15:08 420  
[ ]lowercase-files2006-05-26 15:08 249  
[ ]ls-dups2014-12-12 08:43 758  
[ ]lsd2008-01-02 16:22 55  
[ ]ltr2014-10-13 21:40 38  
[ ]make-update-dirs2024-01-18 18:02 637  
[ ]makelib342zip2009-04-20 18:36 564  
[ ]mbibtex2014-12-31 12:37 191  
[ ]mimedecode1998-02-10 20:16 78  
[ ]mj-launcher2003-10-15 18:51 1.8K 
[TXT]mj-sourceme.sh2014-12-31 15:14 2.9K 
[ ]mjc2006-05-26 15:07 1.8K 
[ ]mjc-gui2003-08-11 11:18 1.7K 
[ ]mjdoc2006-05-26 15:07 2.0K 
[ ]mjdoc-gui2003-08-11 11:15 2.0K 
[ ]mlatex2014-12-31 13:41 294  
[ ]mlatexmk2022-04-05 17:37 367  
[ ]mmix2014-01-29 14:41 61  
[ ]mmixal2014-01-29 14:41 61  
[ ]mmmix2014-01-29 14:41 61  
[ ]mmotype2014-01-29 14:41 61  
[ ]mpdflatex2014-12-31 13:42 301  
[ ]mpdflatexmk2022-04-05 17:37 384  
[ ]mxelatex2022-05-05 17:23 331  
[ ]mxetex2022-05-05 17:21 329  
[ ]my1991-09-25 13:16 551  
[ ]mzscheme3422006-05-26 15:06 38  
[ ]mzscheme342typed2009-04-20 18:36 153  
[ ]mzscheme342untyped2009-04-20 18:36 168  
[ ]noamp-files2008-07-04 08:03 767  
[ ]nonesc2006-10-02 17:25 235  
[ ]nospaces2019-07-25 08:42 28  
[ ]nospaces-files2006-05-26 15:06 368  
[ ]notabs1992-11-16 16:32 272  
[ ]note2015-07-29 14:12 2.4K 
[ ]num-on-lines1993-12-07 16:18 243  
[ ]openall2021-05-03 10:55 413  
[ ]openesc2020-04-14 10:51 341  
[ ]openjml2020-04-07 18:02 212  
[ ]openjmlc2011-04-22 16:43 28  
[ ]openjmlinit2011-04-22 16:19 129  
[ ]outline2page2023-11-07 17:31 3.1K 
[ ]oz2015-01-01 09:29 74  
[ ]pcc2017-03-09 09:13 42  
[ ]pine2008-08-08 17:36 85  
[ ]polyml2006-05-26 15:05 82  
[ ]print2015-07-29 14:12 3.5K 
[ ]publish-handouts2013-08-20 15:58 332  
[ ]pytest2019-01-12 00:07 168  
[ ]python2024-09-30 11:22 90  
[ ]python32019-01-08 22:24 163  
[ ]python372019-01-08 22:24 163  
[ ]rac2020-11-12 17:10 255  
[ ]rcsmv2023-01-13 10:29 338  
[ ]rcsrm2023-01-13 10:30 136  
[ ]rename2005-07-25 19:04 268  
[ ]repeated1991-10-16 03:12 502  
[ ]research2english2020-09-22 17:00 479  
[ ]rm-bad-dxo-files2022-03-24 16:43 541  
[ ]rm-both2009-08-10 23:20 153  
[ ]rmdupsfrom1dir2012-06-25 20:04 691  
[ ]rsh2006-05-26 15:05 24  
[ ]run-on-eustis2017-01-22 17:16 1.0K 
[ ]samedirsunder2012-06-25 20:00 589  
[ ]sasylf2015-01-01 09:28 118  
[ ]scheme2011-12-03 14:11 166  
[ ]scheme-typed2005-12-22 18:09 265  
[ ]scheme-untyped2015-01-01 09:27 225  
[ ]scheme3422006-05-26 15:05 36  
[ ]scheme342typed2006-01-05 20:16 362  
[ ]scheme342untyped2014-12-31 15:13 266  
[ ]search2006-05-26 15:23 1.6K 
[ ]send2023-11-05 15:03 1.4K 
[ ]send-all2008-12-16 17:53 748  
[ ]send-to-eola2008-02-16 10:52 120  
[ ]send-to-eustis2023-11-05 15:11 1.4K 
[ ]send-to-larch2010-04-23 10:09 1.3K 
[ ]send-to-rainier2022-11-23 08:38 165  
[ ]send-to-refine2019-02-02 09:07 168  
[ ]shove2003-02-07 09:08 304  
[ ]silver-update2017-06-08 10:42 1.0K 
[ ]sizefile2014-12-12 08:44 36  
[ ]spell2008-07-31 17:09 208  
[ ]spi2english2020-06-30 16:26 761  
[ ]splint2015-10-25 18:30 301  
[ ]ssc2008-09-21 12:04 67  
[ ]stdperms2015-04-09 18:44 380  
[ ]sunclock2006-05-26 15:03 41  
[ ]svndirs2011-12-02 15:43 786  
[ ]svnupdate2011-12-02 15:43 1.2K 
[ ]testjml2005-07-02 14:39 2.2K 
[ ]texclean1997-12-18 22:11 1.2K 
[ ]texi2html2010-12-23 10:26 1.1K 
[ ]textfiles1991-09-25 13:17 841  
[ ]teyjus2015-01-15 15:48 217  
[ ]tjcc2006-05-26 15:03 113  
[ ]tjsim2007-06-08 17:07 46  
[ ]unemacs2006-08-31 11:19 321  
[ ]unit2015-07-29 14:12 4.6K 
[ ]upcase-files2006-05-26 14:59 249  
[ ]update2023-01-02 11:15 1.0K 
[ ]update-cvs-master2007-03-10 01:16 490  
[ ]update-mail2009-02-03 18:33 250  
[ ]update-refine-svn2015-08-18 08:14 450  
[TXT]use-pdf-letter-size.sh2006-05-26 14:59 30  
[ ]v4smt2021-10-22 15:29 64  
[ ]vnchome2008-02-27 22:10 57  
[ ]vnclaptop2008-02-25 11:22 59  
[ ]vncoffice2008-02-25 11:11 59  
[ ]vncstop2008-04-18 11:52 78  
[ ]vz3-4-smt2021-10-22 15:29 59  
[ ]whichall2006-05-26 15:03 594  
[ ]whichjava2002-05-22 15:46 759  
[ ]whichtex1999-07-30 19:28 794  
[ ]xdvi2014-12-31 13:40 91  
[ ]xlaunch2022-03-09 13:17 237  
[ ]xpdf2008-02-19 11:30 171  
[ ]z32025-02-09 17:12 78  
Apache/2.4.52 (Ubuntu) Server at cs.ucf.edu Port 80