equal
deleted
inserted
replaced
114 |
114 |
115 * Command-line tool "isabelle scala_project" supports Gradle as |
115 * Command-line tool "isabelle scala_project" supports Gradle as |
116 alternative to Maven: either option -G or -M needs to be specified |
116 alternative to Maven: either option -G or -M needs to be specified |
117 explicitly. This increases the chances that the Java/Scala IDE project |
117 explicitly. This increases the chances that the Java/Scala IDE project |
118 works properly. |
118 works properly. |
|
119 |
|
120 * Command-line tool "isabelle hg_sync" synchronizes the working |
|
121 directory of a local Mercurial repository with a target directory, using |
|
122 rsync notation for destinations. |
119 |
123 |
120 |
124 |
121 |
125 |
122 New in Isabelle2021-1 (December 2021) |
126 New in Isabelle2021-1 (December 2021) |
123 ------------------------------------- |
127 ------------------------------------- |