index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
main.mlton.sml
Commit message (
Collapse
)
Author
Age
*
Compiler frees as much memory as possible before passing control to C compiler
Adam Chlipala
2011-08-15
|
*
'-dumpTypes'
Adam Chlipala
2011-08-07
|
*
Tracking and printing of version numbers (based on a patch by Austin Seipp)
Adam Chlipala
2011-08-02
|
*
Generated pretty-printed HTML for a simple tutorial source file
Adam Chlipala
2011-07-15
|
*
-prefix command-line option
Adam Chlipala
2010-12-12
|
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
|
*
Demo improvements
Adam Chlipala
2010-09-30
|
*
-moduleOf command-line option; compatibility fixes and better error messages ↵
Adam Chlipala
2010-05-27
|
|
|
|
for SQLite
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
|
*
-verbose
Adam Chlipala
2010-03-04
|
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
|
*
sigfile directive
Adam Chlipala
2010-02-11
|
*
-path and -root command-line flags
Adam Chlipala
2010-01-12
|
*
Dynamic linking of the runtime system
Adam Chlipala
2009-12-27
|
*
-tc flag
Adam Chlipala
2009-12-24
|
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
|
*
More command-line options
Adam Chlipala
2009-07-18
|
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
|
*
-debug from the command line
Adam Chlipala
2009-06-27
|
*
cgi protocol
Adam Chlipala
2009-06-23
|
*
Some demo improvements
Adam Chlipala
2008-11-20
|
*
Building combined demo app
Adam Chlipala
2008-10-19
|
*
Proper configuration and installation
Adam Chlipala
2008-10-19
|
*
Update MLton main file
Adam Chlipala
2008-09-02
|
*
-timing option for command-line compiler
Adam Chlipala
2008-08-16
|
*
Command-line compiler goes the whole nine yards
Adam Chlipala
2008-07-10
|
*
Update main.mlton for group compilation
Adam Chlipala
2008-06-22
|
*
Lexer/parser hacks to share code between regular and signature file parsers
Adam Chlipala
2008-06-22
|
*
Update main.mlton
Adam Chlipala
2008-06-10
|
*
Tree-shaking
Adam Chlipala
2008-06-08
|
*
Some con reducing
Adam Chlipala
2008-06-08
|
*
Primitive type constants
Adam Chlipala
2008-06-08
|
*
Initial parsing and pretty-printing
Adam Chlipala
2008-01-26
|
*
Initial skeleton
Adam Chlipala
2008-01-26