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 
[   ]alloy2022-11-16 17:21 156  
[   ]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  
[   ]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  
[   ]z32021-09-29 13:36 68  

Apache/2.4.52 (Ubuntu) Server at cs.ucf.edu Port 80