Take a look at the most recent changes from Isabelle21. The following list will display all the modifications Isabelle21 has implemented in the past 30 days.