comparison src/elab_env.sml @ 1763:22858505bb2d

Allow RPC and run it synchronously in onunload event.
author Vladimir Shabanov <vshabanoff@gmail.com>
date Wed, 16 May 2012 22:46:35 +0400
parents fca4a6d05ac1
children d28adceef22a
comparison
equal deleted inserted replaced
1762:a6eab6820b37 1763:22858505bb2d