annotate src/sources @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 0dd40b6bfdf3
children 54ec237a3028
rev   line source
adamc@378 1 config.sig
adamc@378 2 config.sml
adamc@378 3
adamc@6 4 search.sig
adamc@6 5 search.sml
adamc@6 6
adamc@5 7 list_util.sig
adamc@5 8 list_util.sml
adamc@5 9
adamc@193 10 order.sig
adamc@193 11 order.sml
adamc@193 12
adamc@0 13 errormsg.sig
adamc@0 14 errormsg.sml
adamc@0 15
adamc@14 16 print.sig
adamc@14 17 print.sml
adamc@14 18
adamc@14 19 prim.sig
adamc@14 20 prim.sml
adamc@14 21
adamc@4 22 source.sml
adamc@1 23
adamc@244 24 urweb.grm
adamc@244 25 urweb.lex
adamc@1 26
adamc@4 27 source_print.sig
adamc@4 28 source_print.sml
adamc@1 29
adamc@2 30 elab.sml
adamc@2 31
adamc@13 32 elab_util.sig
adamc@13 33 elab_util.sml
adamc@13 34
adamc@10 35 elab_env.sig
adamc@10 36 elab_env.sml
adamc@10 37
adamc@3 38 elab_print.sig
adamc@3 39 elab_print.sml
adamc@3 40
adamc@81 41 elab_ops.sig
adamc@81 42 elab_ops.sml
adamc@81 43
adamc@82 44 disjoint.sig
adamc@82 45 disjoint.sml
adamc@82 46
adamc@329 47 elab_err.sig
adamc@329 48 elab_err.sml
adamc@329 49
adamc@2 50 elaborate.sig
adamc@2 51 elaborate.sml
adamc@2 52
adamc@448 53 unnest.sig
adamc@448 54 unnest.sml
adamc@448 55
adamc@313 56 termination.sig
adamc@313 57 termination.sml
adamc@313 58
adamc@38 59 expl.sml
adamc@38 60
adamc@38 61 expl_util.sig
adamc@38 62 expl_util.sml
adamc@38 63
adamc@38 64 expl_env.sig
adamc@38 65 expl_env.sml
adamc@38 66
adamc@38 67 expl_print.sig
adamc@38 68 expl_print.sml
adamc@38 69
adamc@38 70 explify.sig
adamc@38 71 explify.sml
adamc@38 72
adamc@16 73 core.sml
adamc@16 74
adamc@16 75 core_util.sig
adamc@16 76 core_util.sml
adamc@16 77
adamc@16 78 core_env.sig
adamc@16 79 core_env.sml
adamc@16 80
adamc@16 81 core_print.sig
adamc@16 82 core_print.sml
adamc@16 83
adamc@16 84 corify.sig
adamc@16 85 corify.sml
adamc@16 86
adamc@20 87 reduce.sig
adamc@20 88 reduce.sml
adamc@20 89
adamc@23 90 shake.sig
adamc@23 91 shake.sml
adamc@23 92
adamc@315 93 unpoly.sig
adamc@315 94 unpoly.sml
adamc@315 95
adamc@193 96 specialize.sig
adamc@193 97 specialize.sml
adamc@193 98
adamc@482 99 reduce_local.sig
adamc@482 100 reduce_local.sml
adamc@482 101
adamc@520 102 core_untangle.sig
adamc@520 103 core_untangle.sml
adamc@520 104
adamc@443 105 especialize.sig
adamc@443 106 especialize.sml
adamc@443 107
adamc@484 108 defunc.sig
adamc@484 109 defunc.sml
adamc@484 110
adamc@607 111 rpcify.sig
adamc@607 112 rpcify.sml
adamc@607 113
adamc@110 114 tag.sig
adamc@110 115 tag.sml
adamc@110 116
adamc@25 117 mono.sml
adamc@25 118
adamc@26 119 mono_util.sig
adamc@26 120 mono_util.sml
adamc@26 121
adamc@25 122 mono_env.sig
adamc@25 123 mono_env.sml
adamc@25 124
adamc@25 125 mono_print.sig
adamc@25 126 mono_print.sml
adamc@25 127
adamc@108 128 monoize.sig
adamc@108 129 monoize.sml
adamc@108 130
adamc@453 131 mono_reduce.sig
adamc@453 132 mono_reduce.sml
adamc@453 133
adamc@96 134 mono_opt.sig
adamc@96 135 mono_opt.sml
adamc@96 136
adamc@133 137 untangle.sig
adamc@133 138 untangle.sml
adamc@133 139
adamc@134 140 mono_shake.sig
adamc@134 141 mono_shake.sml
adamc@134 142
adamc@567 143 jscomp.sig
adamc@567 144 jscomp.sml
adamc@567 145
adamc@378 146 pathcheck.sig
adamc@377 147 pathcheck.sml
adamc@377 148
adamc@506 149 fuse.sig
adamc@506 150 fuse.sml
adamc@506 151
adamc@29 152 cjr.sml
adamc@29 153
adamc@29 154 cjr_env.sig
adamc@29 155 cjr_env.sml
adamc@29 156
adamc@29 157 cjr_print.sig
adamc@29 158 cjr_print.sml
adamc@29 159
adamc@29 160 cjrize.sig
adamc@29 161 cjrize.sml
adamc@29 162
adamc@643 163 scriptcheck.sig
adamc@643 164 scriptcheck.sml
adamc@643 165
adamc@282 166 prepare.sig
adamc@282 167 prepare.sml
adamc@282 168
adamc@1 169 compiler.sig
adamc@1 170 compiler.sml
adamc@380 171
adamc@380 172 demo.sig
adamc@380 173 demo.sml