Summary
- check bibtex database: errors and warnings;
- more symbols;
The file was modified | src/Pure/Tools/bibtex.scala (diff) |
The file was modified | src/HOL/Library/Sum_of_Squares/positivstellensatz_tools.ML (diff) |
The file was modified | src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff) |
The file was modified | src/HOL/Library/positivstellensatz.ML (diff) |
The file was modified | src/HOL/ex/SOS.thy (diff) |