annotate include/urweb/urweb.h @ 2120:e3a79066380d

Evaluate minus and times in MonoOpt
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Feb 2015 14:52:56 -0500
parents a5b08bdfa450
children
rev   line source
ezyang@1739 1 #ifndef URWEB_H
ezyang@1739 2 #define URWEB_H
ezyang@1739 3
ezyang@1739 4 #include "types.h"
adam@1881 5 #include "urweb_cpp.h"
adam@1787 6
ezyang@1739 7 #endif