equal
deleted
inserted
replaced
311 |
311 |
312 * All constant names are now qualified. INCOMPATIBILITY. |
312 * All constant names are now qualified. INCOMPATIBILITY. |
313 |
313 |
314 |
314 |
315 *** ML *** |
315 *** ML *** |
|
316 |
|
317 * Antiquotation @{assert} inlines a function bool -> unit that raises |
|
318 Fail if the argument is false. Due to inlining the source position of |
|
319 failed assertions is included in the error output. |
316 |
320 |
317 * Renamed setmp_noncritical to Unsynchronized.setmp to emphasize its |
321 * Renamed setmp_noncritical to Unsynchronized.setmp to emphasize its |
318 meaning. |
322 meaning. |
319 |
323 |
320 * Renamed structure PureThy to Pure_Thy and moved most of its |
324 * Renamed structure PureThy to Pure_Thy and moved most of its |