Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-300
-100
-15
+15
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file
2009-12-20, by Christian Urban
renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
2009-12-20, by Christian Urban
this file is now obsolete; replaced by isar-keywords-quot.el
2009-12-20, by Christian Urban
with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place
2009-12-20, by Christian Urban
added a very old paper about Quotients in Isabelle (related work)
2009-12-19, by Christian Urban
avoided global "open"s - replaced by local "open"s
2009-12-19, by Christian Urban
small tuning
2009-12-19, by Christian Urban
various tunings; map_lookup now raises an exception; addition to FIXME-TODO
2009-12-19, by Christian Urban
minor cleaning
2009-12-17, by Christian Urban
moved the QuotMain code into two ML-files
2009-12-17, by Christian Urban
complete fix for IsaMakefile
2009-12-16, by Christian Urban
first fix
2009-12-16, by Christian Urban
merged
2009-12-16, by Christian Urban
added a paper for possible notes
2009-12-16, by Christian Urban
Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.
2009-12-16, by Cezary Kaliszyk
less
more
|
(0)
-300
-100
-15
+15
+100
+300
+1000
tip